From 4b1b12ef70a53babe49f26a0b3a177e08e38283c Mon Sep 17 00:00:00 2001 From: Split Date: Mon, 9 Mar 2026 17:34:02 -0400 Subject: [PATCH] Editorial pass: tactical and operational improvements - Improved sentence-level clarity using Gopen's principles (issue-point, topic-stress) - Combined choppy sentences for better flow - Strengthened verbs and reduced passive voice - Improved paragraph transitions and section coherence - Maintained technical precision while enhancing readability --- 2-state-of-the-art/v2.tex | 4 +- 3-research-approach/v3.tex | 16 +- 4-metrics-of-success/v1.tex | 4 +- 5-risks-and-contingencies/v1.tex | 6 +- 6-broader-impacts/v1.tex | 6 +- 8-schedule/v1.tex | 2 +- main.aux | 69 +- main.log | 1395 ++++++++++++++++-------------- main.pdf | Bin 188983 -> 204315 bytes main.synctex.gz | Bin 242020 -> 0 bytes main.toc | 46 +- 11 files changed, 804 insertions(+), 744 deletions(-) delete mode 100644 main.synctex.gz diff --git a/2-state-of-the-art/v2.tex b/2-state-of-the-art/v2.tex index a914405..5255a15 100644 --- a/2-state-of-the-art/v2.tex +++ b/2-state-of-the-art/v2.tex @@ -30,9 +30,9 @@ Safety systems already employ extensive automation. Reactor Protection Systems t \subsection{Human Factors in Nuclear Accidents} -Procedures lack formal verification despite rigorous development. This represents only half the reliability challenge: even perfect procedures cannot guarantee safe operation when humans execute them imperfectly. +Procedures lack formal verification despite rigorous development, but this represents only half the reliability challenge: even perfect procedures cannot guarantee safe operation when humans execute them imperfectly. -Human operators—the second pillar of current practice—introduce reliability limitations independent of procedure quality. Procedures define what to do. Operators determine when and how to act. This discretion introduces persistent failure modes. Training alone cannot eliminate these failures. +Human operators—the second pillar of current practice—introduce reliability limitations independent of procedure quality. Procedures define what to do; operators determine when and how to act. This discretion introduces persistent failure modes that training alone cannot eliminate. Current-generation nuclear power plants employ over 3,600 active NRC-licensed reactor operators in the United States~\cite{operator_statistics}. These diff --git a/3-research-approach/v3.tex b/3-research-approach/v3.tex index d9e5cda..1069347 100644 --- a/3-research-approach/v3.tex +++ b/3-research-approach/v3.tex @@ -152,7 +152,7 @@ Tactical control manages individual components—pumps, turbines, and chemistry. The operational scope links these extremes. It represents the primary responsibility of human operators today. Operators implement tactical control sequences to achieve strategic objectives, bridging high-level goals with low-level execution. -An example clarifies this three-level structure. Consider a strategic goal to perform refueling at a certain time. The tactical level currently maintains core temperature. The operational level issues the shutdown procedure, using several smaller tactical goals along the way to achieve this objective. +Consider refueling as an example. The strategic level sets the refueling schedule. The tactical level maintains core temperature. The operational level issues the shutdown procedure, achieving the strategic goal through several smaller tactical objectives. This structure reveals why the operational and tactical levels fundamentally form a hybrid controller. The tactical level represents continuous plant evolution according to control input and control law. The operational level represents discrete state evolution determining which tactical control law applies. Together, these two levels form the complete hybrid system. This operational level becomes the target for autonomous control because it bridges strategic intent with tactical execution through discrete mode-switching decisions. @@ -262,9 +262,7 @@ FRET has been successfully applied to spacecraft control systems, autonomous veh The previous subsection demonstrated how operating procedures translate into temporal logic specifications using FRET. These specifications define what the system must do—but a critical gap remains: how do we implement those requirements? -Reactive synthesis bridges this gap by automatically constructing controllers guaranteed to satisfy temporal logic specifications. - -Reactive synthesis automates the creation of reactive programs from temporal logic—programs that take input for a given state and produce output. The current discrete state and status of guard conditions form the input; the next discrete state forms the output. +Reactive synthesis bridges this gap by automatically constructing controllers guaranteed to satisfy temporal logic specifications. It automates the creation of reactive programs from temporal logic—programs that take input for a given state and produce output. The current discrete state and guard condition status form the input; the next discrete state forms the output. Reactive synthesis solves a fundamental problem: given an LTL formula $\varphi$ specifying desired system behavior, automatically construct a finite-state machine (strategy) that produces outputs in response to environment inputs such that all resulting execution traces satisfy $\varphi$. If such a strategy exists, the specification is \emph{realizable}. The synthesis algorithm either produces a correct-by-construction controller or reports that no such controller exists. Unrealizable specifications indicate conflicting or impossible requirements in the original procedures—this realizability check catches errors before implementation. @@ -291,11 +289,11 @@ Reactive synthesis produces discrete mode-switching logic from procedures. The n \subsection{Continuous Control Modes} -The previous subsection showed how reactive synthesis produces a provably correct discrete controller. This controller determines when to switch between modes. However, hybrid control requires more than correct mode switching. The continuous dynamics executing within each discrete mode must also verify against requirements. +Reactive synthesis produces a provably correct discrete controller that determines when to switch between modes. However, hybrid control requires more than correct mode switching—the continuous dynamics executing within each discrete mode must also verify against requirements. Control objectives determine the verification approach. Modes classify into three types—transitory, stabilizing, and expulsory—each requiring different verification tools matched to its distinct purpose. This subsection describes each type and its verification method. -This methodology's scope requires clarification: this work verifies continuous controllers but does not synthesize them. The distinction parallels model checking in software verification: model checking confirms whether an implementation satisfies its specification without prescribing how to write the software. Engineers design continuous controllers using standard control theory techniques—this work assumes that capability exists. The contribution lies in the verification framework that confirms candidate controllers compose correctly with the discrete layer to produce a safe hybrid system. +This methodology's scope requires clarification: this work verifies continuous controllers but does not synthesize them. The distinction parallels model checking in software verification, which confirms whether an implementation satisfies its specification without prescribing how to write the software. Engineers design continuous controllers using standard control theory techniques—this work assumes that capability exists. The contribution lies in the verification framework confirming that candidate controllers compose correctly with the discrete layer to produce a safe hybrid system. The operational control scope defines go/no-go decisions that determine what kind of continuous control to implement. The entry or exit conditions of a @@ -394,9 +392,9 @@ appropriate to the fidelity of the reactor models available. \subsubsection{Stabilizing Modes} -Transitory modes drive the system toward exit conditions. Reachability analysis verifies whether the target can be reached. +Transitory modes drive the system toward exit conditions, with reachability analysis verifying whether the target can be reached. -Stabilizing modes address a different question: will the system stay within bounds? These modes maintain the system within a desired operating region indefinitely. Examples include steady-state power operation, hot standby, and load-following at constant power level. This different control objective requires a different verification approach. +Stabilizing modes address a different question: will the system stay within bounds? Unlike transitory modes that aim to reach a target, stabilizing modes maintain the system within a desired operating region indefinitely. Examples include steady-state power operation, hot standby, and load-following at constant power level. This different control objective requires a different verification approach. Reachability analysis answers "can the system reach a target?" Stabilizing modes instead ask "does the system stay within bounds?" Barrier certificates provide the appropriate verification tool for this question. Barrier certificates analyze the dynamics of the system to determine whether @@ -445,7 +443,7 @@ controller. \subsubsection{Expulsory Modes} -The first two mode types handle nominal operations. Transitory modes move the plant between conditions using reachability analysis. Stabilizing modes maintain the plant within regions using barrier certificates. Both assume the plant dynamics match the design model. +Transitory and stabilizing modes handle nominal operations—moving the plant between conditions and maintaining it within regions, respectively—but both assume the plant dynamics match the design model. Expulsory modes address a different scenario: situations where the plant deviates from expected behavior. This deviation may result from component failures, sensor degradation, or unanticipated disturbances. Here, robustness matters more than optimality. diff --git a/4-metrics-of-success/v1.tex b/4-metrics-of-success/v1.tex index ffd5584..d38ab20 100644 --- a/4-metrics-of-success/v1.tex +++ b/4-metrics-of-success/v1.tex @@ -2,9 +2,9 @@ \textbf{Heilmeier Question: How will success be measured?} -Section 3 established the technical approach: compositional verification bridges discrete synthesis with continuous control. The approach will succeed because it leverages existing procedural structure, bounds computational complexity, and validates against industrial hardware. This section addresses the next Heilmeier question: How will success be measured? +Section 3 established the technical approach: compositional verification bridges discrete synthesis with continuous control and will succeed because it leverages existing procedural structure, bounds computational complexity, and validates against industrial hardware. This section addresses the next Heilmeier question: How will success be measured? -Success is measured by Technology Readiness Level advancement from fundamental concepts (TRL 2--3) to validated prototype demonstration (TRL 5). At TRL 5, system components operate successfully in a relevant laboratory environment. TRL advancement provides the most appropriate success metric because it explicitly measures the gap between academic proof-of-concept and practical deployment. This section explains why TRLs measure success appropriately, then defines specific criteria for each level from TRL 3 through TRL 5. +Success is measured by Technology Readiness Level advancement from fundamental concepts (TRL 2--3) to validated prototype demonstration (TRL 5), where system components operate successfully in a relevant laboratory environment. TRL advancement provides the most appropriate success metric because it explicitly measures the gap between academic proof-of-concept and practical deployment. This section explains why TRLs measure success appropriately, then defines specific criteria for each level from TRL 3 through TRL 5. Technology Readiness Levels provide the ideal success metric for work bridging academic proof-of-concept and practical deployment. diff --git a/5-risks-and-contingencies/v1.tex b/5-risks-and-contingencies/v1.tex index 6499763..083223e 100644 --- a/5-risks-and-contingencies/v1.tex +++ b/5-risks-and-contingencies/v1.tex @@ -2,9 +2,9 @@ \textbf{Heilmeier Question: What could prevent success?} -Section 4 defined success as reaching TRL 5 through component validation, system integration, and hardware demonstration. That definition assumes critical technical challenges can be overcome. +Section 4 defined success as reaching TRL 5 through component validation, system integration, and hardware demonstration—a definition that assumes critical technical challenges can be overcome. -Every research plan rests on assumptions that might prove false. Three primary risks could prevent reaching TRL 5. First, computational tractability of synthesis and verification. Second, complexity of the discrete-continuous interface. Third, completeness of procedure formalization. +Every research plan rests on assumptions that might prove false. Three primary risks could prevent reaching TRL 5: computational tractability of synthesis and verification, complexity of the discrete-continuous interface, and completeness of procedure formalization. Each risk has identifiable early warning indicators and viable mitigation strategies. @@ -12,7 +12,7 @@ Each risk carries associated early warning indicators and contingency plans that \subsection{Computational Tractability of Synthesis} -Computational tractability represents the first major risk. The core assumption: formalized startup procedures will yield automata small enough for efficient synthesis and verification. This assumption may fail. Reactive synthesis scales exponentially with specification complexity. Temporal logic specifications from complete startup procedures may produce automata with thousands of states. Synthesis times may exceed days or weeks. This would prevent completion within project timelines. Reachability analysis for continuous modes with high-dimensional state spaces may similarly prove intractable. Either barrier would constitute a fundamental obstacle. +Computational tractability represents the first major risk. The core assumption—that formalized startup procedures will yield automata small enough for efficient synthesis and verification—may fail. Reactive synthesis scales exponentially with specification complexity; temporal logic specifications from complete startup procedures may produce automata with thousands of states requiring synthesis times of days or weeks, preventing completion within project timelines. Reachability analysis for continuous modes with high-dimensional state spaces may similarly prove intractable. Either barrier would constitute a fundamental obstacle. Several indicators would provide early warning of computational tractability problems. Synthesis times exceeding 24 hours for simplified procedure subsets diff --git a/6-broader-impacts/v1.tex b/6-broader-impacts/v1.tex index b313eed..3937716 100644 --- a/6-broader-impacts/v1.tex +++ b/6-broader-impacts/v1.tex @@ -2,9 +2,9 @@ \textbf{Heilmeier Questions: Who cares? Why now? What difference will it make?} -Sections 2 through 5 established the complete technical research plan. Section 2 addressed what has been done. Section 3 explained what is new and why it will succeed. Section 4 defined how to measure success. Section 5 identified what could prevent success. +Sections 2 through 5 established the complete technical research plan: what has been done, what is new and why it will succeed, how to measure success, and what could prevent success. -The technical plan is complete. This section addresses the remaining Heilmeier questions. It connects technical methodology to economic and societal impact: who cares, why now, and what difference this work will make. +This section addresses the remaining Heilmeier questions by connecting technical methodology to economic and societal impact: who cares, why now, and what difference this work will make. \textbf{Who cares?} Three stakeholder groups face the same economic constraint—high operating costs driven by staffing requirements. The nuclear industry faces uncompetitive per-megawatt costs for small modular reactors. Datacenter operators need hundreds of megawatts of continuous clean power for AI infrastructure. Clean energy advocates need nuclear power to be economically competitive with fossil alternatives. All three stakeholders require autonomous control with safety guarantees. @@ -12,7 +12,7 @@ The technical plan is complete. This section addresses the remaining Heilmeier q \textbf{Why now?} Exponentially growing AI infrastructure demands have transformed this longstanding challenge into an immediate crisis, creating a market demanding solutions that did not exist before. -Nuclear power presents both a compelling application domain and an urgent economic challenge. Recent interest in powering artificial intelligence infrastructure has renewed focus on small modular reactors (SMRs), particularly for hyperscale datacenters requiring hundreds of megawatts of continuous power. SMRs deployed at datacenter sites minimize transmission losses and eliminate emissions. At this scale, nuclear power economics demand careful attention to operating costs. +Nuclear power presents both a compelling application domain and an urgent economic challenge. Recent interest in powering artificial intelligence infrastructure has renewed focus on small modular reactors (SMRs) for hyperscale datacenters requiring hundreds of megawatts of continuous power. SMRs deployed at datacenter sites minimize transmission losses and eliminate emissions, but at this scale, nuclear power economics demand careful attention to operating costs. The U.S. Energy Information Administration's Annual Energy Outlook 2022 projects advanced nuclear power entering service in 2027 will cost \$88.24 per megawatt-hour~\cite{eia_lcoe_2022}. Datacenter electricity demand is projected to reach 1,050 terawatt-hours annually by 2030~\cite{eesi_datacenter_2024}. Nuclear power supplying this demand would generate total annual costs exceeding \$92 billion. diff --git a/8-schedule/v1.tex b/8-schedule/v1.tex index f53193c..d751d23 100644 --- a/8-schedule/v1.tex +++ b/8-schedule/v1.tex @@ -4,7 +4,7 @@ Section 6 demonstrated that this work addresses a \$21--28 billion annual cost barrier and establishes a generalizable framework for safety-critical autonomous systems. This final section addresses the last Heilmeier question: How long will it take? -This research will be conducted over six trimesters (24 months) of full-time effort following the proposal defense in Spring 2026. The University of Pittsburgh Cyber Energy Center and NRC Fellowship provide all computational and experimental resources. The work progresses sequentially through three main research thrusts, culminating in integrated demonstration and validation. +This research will be conducted over six trimesters (24 months) of full-time effort following the proposal defense in Spring 2026. The University of Pittsburgh Cyber Energy Center and NRC Fellowship provide all computational and experimental resources, with work progressing sequentially through three main research thrusts and culminating in integrated demonstration and validation. The first semester (Spring 2026) focuses on Thrust 1, translating startup procedures into formal temporal logic specifications using FRET. This diff --git a/main.aux b/main.aux index d4e6641..7ac2242 100644 --- a/main.aux +++ b/main.aux @@ -1,57 +1,58 @@ \relax -\providecommand \oddpage@label [2]{} \@writefile{toc}{\contentsline {section}{Contents}{ii}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {1}Goals and Outcomes}{1}{}\protected@file@percent } \citation{NUREG-0899,10CFR50.34} \citation{10CFR55.59} \citation{WRPS.Description,gentillon_westinghouse_1999} +\@writefile{toc}{\contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{3}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Current Reactor Procedures and Operation}{3}{}\protected@file@percent } \citation{operator_statistics} \citation{10CFR55} \citation{10CFR50.54} -\@writefile{toc}{\contentsline {section}{\numberline {2}State of the Art and Limits of Current Practice}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Current Reactor Procedures and Operation}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Human Factors in Nuclear Accidents}{3}{}\protected@file@percent } \citation{Kemeny1979} \citation{WNA2020} \citation{hogberg_root_2013} \citation{zhang_analysis_2025} -\citation{Kiniry2024} +\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Human Factors in Nuclear Accidents}{4}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Formal Methods}{4}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.1}HARDENS}{4}{}\protected@file@percent } \citation{Kiniry2024} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.2}Sequent Calculus and Differential Dynamic Logic}{5}{}\protected@file@percent } +\citation{Kiniry2024} +\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.1}HARDENS: The State of Formal Methods in Nuclear Control}{5}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.3.2}Differential Dynamic Logic: Post-Hoc Hybrid Verification}{6}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Summary: The Verification Gap}{6}{}\protected@file@percent } \citation{HANDBOOK ON HYBRID SYSTEMS} -\@writefile{toc}{\contentsline {section}{\numberline {3}Research Approach}{7}{}\protected@file@percent } -\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Simplified hybrid automaton for reactor startup. Each discrete state $q_i$ has associated continuous dynamics $f_i$. Guard conditions on transitions (e.g., $T_{avg} > T_{min}$) are predicates over continuous state. Invariant violations ($\neg Inv_i$) trigger transitions to the SCRAM state. The operational level manages discrete transitions; the tactical level executes continuous control within each mode.}}{8}{}\protected@file@percent } -\newlabel{fig:hybrid_automaton}{{1}{8}{Research Approach}{figure.1}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}System Requirements, Specifications, and Discrete Controllers}{8}{}\protected@file@percent } -\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Control scope hierarchy in nuclear power operations. Strategic control (long-term planning) remains with human management. HAHACS addresses the operational level (discrete mode switching) and tactical level (continuous control within modes), which together form a hybrid control system.}}{9}{}\protected@file@percent } -\newlabel{fig:strat_op_tact}{{2}{9}{System Requirements, Specifications, and Discrete Controllers}{figure.2}{}} +\@writefile{toc}{\contentsline {section}{\numberline {3}Research Approach}{8}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}System Requirements, Specifications, and Discrete Controllers}{9}{}\protected@file@percent } +\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Simplified hybrid automaton for reactor startup. Each discrete state $q_i$ has associated continuous dynamics $f_i$. Guard conditions (e.g., $T_{avg} > T_{min}$) are predicates over continuous state. Invariant violations ($\neg Inv_i$) trigger transitions to the SCRAM state. The operational level manages discrete transitions; the tactical level executes continuous control within each mode.}}{10}{}\protected@file@percent } +\newlabel{fig:hybrid_automaton}{{1}{10}{Research Approach}{figure.1}{}} +\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Control scope hierarchy in nuclear power operations. Strategic control (long-term planning) remains with human management. HAHACS addresses the operational level (discrete mode switching) and tactical level (continuous control within modes), which together form a hybrid control system.}}{11}{}\protected@file@percent } +\newlabel{fig:strat_op_tact}{{2}{11}{System Requirements, Specifications, and Discrete Controllers}{figure.2}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Discrete Controller Synthesis}{12}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Continuous Control Modes}{13}{}\protected@file@percent } \citation{MANYUS THESIS} -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Continuous Control Modes}{11}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1}Transitory Modes}{12}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2}Stabilizing Modes}{12}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.3}Expulsory Modes}{13}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Industrial Implementation}{14}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {4}Metrics for Success}{15}{}\protected@file@percent } -\@writefile{toc}{\contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{15}{}\protected@file@percent } -\@writefile{toc}{\contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{15}{}\protected@file@percent } -\@writefile{toc}{\contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{15}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {5}Risks and Contingencies}{17}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Computational Tractability of Synthesis}{17}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Discrete-Continuous Interface Formalization}{17}{}\protected@file@percent } -\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Procedure Formalization Completeness}{18}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.3.1}Transitory Modes}{14}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.3.2}Stabilizing Modes}{15}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.3.3}Expulsory Modes}{16}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Industrial Implementation}{17}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {4}Metrics for Success}{19}{}\protected@file@percent } +\@writefile{toc}{\contentsline {paragraph}{TRL 3 \textit {Critical Function and Proof of Concept}}{19}{}\protected@file@percent } +\@writefile{toc}{\contentsline {paragraph}{TRL 4 \textit {Laboratory Testing of Integrated Components}}{19}{}\protected@file@percent } +\@writefile{toc}{\contentsline {paragraph}{TRL 5 \textit {Laboratory Testing in Relevant Environment}}{20}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {5}Risks and Contingencies}{22}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Computational Tractability of Synthesis}{22}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Discrete-Continuous Interface Formalization}{22}{}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Procedure Formalization Completeness}{24}{}\protected@file@percent } \citation{eia_lcoe_2022} \citation{eesi_datacenter_2024} \citation{eia_lcoe_2022} -\@writefile{toc}{\contentsline {section}{\numberline {6}Broader Impacts}{20}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {6}Broader Impacts}{26}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {7}Schedule, Milestones, and Deliverables}{29}{}\protected@file@percent } +\gtt@chartextrasize{0}{164.1287pt} +\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Project schedule showing major research thrusts, milestones (orange row), and publications (green row). Red diamonds indicate completion points. Overlapping bars indicate parallel work where appropriate.}}{29}{}\protected@file@percent } +\newlabel{fig:gantt}{{3}{29}{Schedule, Milestones, and Deliverables}{figure.3}{}} +\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Milestones and Deliverables}{29}{}\protected@file@percent } \bibstyle{ieeetr} \bibdata{references} -\@writefile{toc}{\contentsline {section}{\numberline {7}Schedule, Milestones, and Deliverables}{22}{}\protected@file@percent } -\gtt@chartextrasize{0}{164.1287pt} -\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Project schedule showing major research thrusts, milestones (orange row), and publications (green row). Red diamonds indicate completion points. Overlapping bars indicate parallel work where appropriate.}}{22}{}\protected@file@percent } -\newlabel{fig:gantt}{{3}{22}{Schedule, Milestones, and Deliverables}{figure.3}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Milestones and Deliverables}{22}{}\protected@file@percent } \bibcite{NUREG-0899}{1} \bibcite{10CFR50.34}{2} \bibcite{10CFR55.59}{3} @@ -64,8 +65,8 @@ \bibcite{WNA2020}{10} \bibcite{hogberg_root_2013}{11} \bibcite{zhang_analysis_2025}{12} +\@writefile{toc}{\contentsline {section}{References}{30}{}\protected@file@percent } \bibcite{Kiniry2024}{13} \bibcite{eia_lcoe_2022}{14} \bibcite{eesi_datacenter_2024}{15} -\@writefile{toc}{\contentsline {section}{References}{23}{}\protected@file@percent } -\gdef \@abspage@last{27} +\gdef \@abspage@last{34} diff --git a/main.log b/main.log index d25f137..e619e37 100644 --- a/main.log +++ b/main.log @@ -1,64 +1,63 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.27 (TeX Live 2025) (preloaded format=pdflatex 2025.3.8) 7 MAR 2026 13:54 +This is pdfTeX, Version 3.141592653-2.6-1.40.28 (TeX Live 2025) (preloaded format=pdflatex 2026.2.12) 9 MAR 2026 17:32 entering extended mode restricted \write18 enabled. - file:line:error style messages enabled. %&-line parsing enabled. **main.tex (./main.tex -LaTeX2e <2024-11-01> patch level 2 -L3 programming layer <2025-01-18> +LaTeX2e <2025-11-01> +L3 programming layer <2026-01-19> (./dane_proposal_format.cls LaTeX Warning: You have requested document class `dane_proposal_format', but the document class provides `prayer_circle'. Document Class: prayer_circle 2025/09/02 Custom class for academic documents -(/usr/local/texlive/2025/texmf-dist/tex/latex/base/article.cls -Document Class: article 2024/06/29 v1.4n Standard LaTeX document class -(/usr/local/texlive/2025/texmf-dist/tex/latex/base/size12.clo -File: size12.clo 2024/06/29 v1.4n Standard LaTeX file (size option) +(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/base/article.cls +Document Class: article 2025/01/22 v1.4n Standard LaTeX document class +(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/base/size12.clo +File: size12.clo 2025/01/22 v1.4n Standard LaTeX file (size option) ) -\c@part=\count196 -\c@section=\count197 -\c@subsection=\count198 -\c@subsubsection=\count199 -\c@paragraph=\count266 -\c@subparagraph=\count267 -\c@figure=\count268 -\c@table=\count269 +\c@part=\count275 +\c@section=\count276 +\c@subsection=\count277 +\c@subsubsection=\count278 +\c@paragraph=\count279 +\c@subparagraph=\count280 +\c@figure=\count281 +\c@table=\count282 \abovecaptionskip=\skip49 \belowcaptionskip=\skip50 -\bibindent=\dimen141 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/base/inputenc.sty +\bibindent=\dimen148 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/base/inputenc.sty Package: inputenc 2024/02/08 v1.3d Input encoding file \inpenc@prehook=\toks17 \inpenc@posthook=\toks18 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/geometry/geometry.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/geometry/geometry.sty Package: geometry 2020/01/02 v5.9 Page Geometry - (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/keyval.sty + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2022/05/29 v1.15 key=value parser (DPC) \KV@toks@=\toks19 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/iftex/ifvtex.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/iftex/ifvtex.sty Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead. - (/usr/local/texlive/2025/texmf-dist/tex/generic/iftex/iftex.sty + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/iftex/iftex.sty Package: iftex 2024/12/12 v1.0g TeX engine tests )) -\Gm@cnth=\count270 -\Gm@cntv=\count271 -\c@Gm@tempcnt=\count272 -\Gm@bindingoffset=\dimen142 -\Gm@wd@mp=\dimen143 -\Gm@odd@mp=\dimen144 -\Gm@even@mp=\dimen145 -\Gm@layoutwidth=\dimen146 -\Gm@layoutheight=\dimen147 -\Gm@layouthoffset=\dimen148 -\Gm@layoutvoffset=\dimen149 +\Gm@cnth=\count283 +\Gm@cntv=\count284 +\c@Gm@tempcnt=\count285 +\Gm@bindingoffset=\dimen149 +\Gm@wd@mp=\dimen150 +\Gm@odd@mp=\dimen151 +\Gm@even@mp=\dimen152 +\Gm@layoutwidth=\dimen153 +\Gm@layoutheight=\dimen154 +\Gm@layouthoffset=\dimen155 +\Gm@layoutvoffset=\dimen156 \Gm@dimlist=\toks20 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/url/url.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/url/url.sty \Urlmuskip=\muskip17 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. -) (/usr/local/texlive/2025/texmf-dist/tex/latex/psnfss/mathptmx.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/mathptmx.sty Package: mathptmx 2020/03/25 PSNFSS-v9.3 Times w/ Math, improved (SPQR, WaS) LaTeX Font Info: Redeclaring symbol font `operators' on input line 28. LaTeX Font Info: Overwriting symbol font `operators' in version `normal' @@ -93,128 +92,129 @@ LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' (Font) OT1/cmr/bx/it --> OT1/ptm/m/it on input line 35. LaTeX Info: Redefining \hbar on input line 50. -) (/usr/local/texlive/2025/texmf-dist/tex/latex/titlesec/titlesec.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/titlesec/titlesec.sty Package: titlesec 2025/01/04 v2.17 Sectioning titles -\ttl@box=\box52 +\ttl@box=\box53 \beforetitleunit=\skip51 \aftertitleunit=\skip52 -\ttl@plus=\dimen150 -\ttl@minus=\dimen151 +\ttl@plus=\dimen157 +\ttl@minus=\dimen158 \ttl@toksa=\toks21 -\titlewidth=\dimen152 -\titlewidthlast=\dimen153 -\titlewidthfirst=\dimen154 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/setspace/setspace.sty +\titlewidth=\dimen159 +\titlewidthlast=\dimen160 +\titlewidthfirst=\dimen161 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/setspace/setspace.sty Package: setspace 2022/12/04 v6.7b set line spacing -) (/usr/local/texlive/2025/texmf-dist/tex/latex/datetime/datetime.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/datetime/datetime.sty Package: datetime 2015/03/20 v2.60 Date Time Package - (/usr/local/texlive/2025/texmf-dist/tex/latex/etoolbox/etoolbox.sty -Package: etoolbox 2025/02/11 v2.5l e-TeX tools for LaTeX (JAW) -\etb@tempcnta=\count273 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/fmtcount/fmtcount.sty -Package: fmtcount 2025/02/09 v3.10 Displaying the values of LaTeX counters (NT,VB,NE) - (/usr/local/texlive/2025/texmf-dist/tex/latex/base/ifthen.sty + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/etoolbox/etoolbox.sty +Package: etoolbox 2025/10/02 v2.5m e-TeX tools for LaTeX (JAW) +\etb@tempcnta=\count286 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/fmtcount/fmtcount.sty +Package: fmtcount 2025/12/02 v3.12 Displaying the values of LaTeX counters (NT,VB,NE) + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2024/03/16 v1.1e Standard LaTeX ifthen package (DPC) -) (/usr/local/texlive/2025/texmf-dist/tex/latex/xkeyval/xkeyval.sty -Package: xkeyval 2022/06/16 v2.9 package option processing (HA) - (/usr/local/texlive/2025/texmf-dist/tex/generic/xkeyval/xkeyval.tex (/usr/local/texlive/2025/texmf-dist/tex/generic/xkeyval/xkvutils.tex +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/xkeyval/xkeyval.sty +Package: xkeyval 2025/11/04 v2.10 package option processing (HA) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/xkeyval/xkeyval.tex (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/xkeyval/xkvutils.tex \XKV@toks=\toks22 \XKV@tempa@toks=\toks23 +\XKV@tempb@toks=\toks24 ) -\XKV@depth=\count274 +\XKV@depth=\count287 File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA) -)) (/usr/local/texlive/2025/texmf-dist/tex/latex/fmtcount/fcprefix.sty +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/fmtcount/fcprefix.sty Package: fcprefix 2012/09/28 - (/usr/local/texlive/2025/texmf-dist/tex/latex/fmtcount/fcnumparser.sty + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/fmtcount/fcnumparser.sty Package: fcnumparser 2017/06/15 -\fc@digit@counter=\count275 -)) (/usr/local/texlive/2025/texmf-dist/tex/latex/amsmath/amsgen.sty +\fc@digit@counter=\count288 +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks24 -\ex@=\dimen155 +\@emptytoks=\toks25 +\ex@=\dimen162 ) -\c@padzeroesN=\count276 -\fc@tmpcatcode=\count277 -\@DT@modctr=\count278 -\@ordinalctr=\count279 -\@orgargctr=\count280 -\@strctr=\count281 -\@tmpstrctr=\count282 -\@DT@loopN=\count283 -\@DT@X=\count284 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/datetime/datetime-defaults.sty +\c@padzeroesN=\count289 +\fc@tmpcatcode=\count290 +\@DT@modctr=\count291 +\@ordinalctr=\count292 +\@orgargctr=\count293 +\@strctr=\count294 +\@tmpstrctr=\count295 +\@DT@loopN=\count296 +\@DT@X=\count297 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/datetime/datetime-defaults.sty Package: datetime-defaults 2013/09/10 ) -\@day=\count285 -\@month=\count286 -\@year=\count287 -\c@HOUR=\count288 -\c@HOURXII=\count289 -\c@MINUTE=\count290 -\c@TOHOUR=\count291 -\c@TOMINUTE=\count292 -\c@SECOND=\count293 -\currenthour=\count294 -\currentminute=\count295 -\currentsecond=\count296 +\@day=\count298 +\@month=\count299 +\@year=\count300 +\c@HOUR=\count301 +\c@HOURXII=\count302 +\c@MINUTE=\count303 +\c@TOHOUR=\count304 +\c@TOMINUTE=\count305 +\c@SECOND=\count306 +\currenthour=\count307 +\currentminute=\count308 +\currentsecond=\count309 Package datetime Info: No datetime.cfg file found, using default settings on input line 308. -\@dtctr=\count297 -\dayofyear=\count298 -\dayofweek=\count299 +\@dtctr=\count310 +\dayofyear=\count311 +\dayofweek=\count312 LaTeX Info: Redefining \today on input line 736. -\dt@a=\toks25 -\dt@b=\toks26 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/cite/cite.sty +\dt@a=\toks26 +\dt@b=\toks27 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/cite/cite.sty LaTeX Info: Redefining \cite on input line 302. LaTeX Info: Redefining \nocite on input line 332. Package: cite 2015/02/27 v 5.5 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/tocbibind/tocbibind.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/tocbibind/tocbibind.sty Package: tocbibind 2010/10/13 v1.5k extra ToC listings Package tocbibind Info: The document has section divisions on input line 50. Package tocbibind Note: Using section or other style headings. -) (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) - (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/graphics.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/graphics/graphicx.sty +Package: graphicx 2024/12/31 v1.2e Enhanced LaTeX Graphics (DPC,SPQR) + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2024/08/06 v1.4g Standard LaTeX Graphics (DPC,SPQR) - (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/trig.sty + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2023/12/02 v1.11 sin cos tan (DPC) -) (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics-cfg/graphics.cfg +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 106. - (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics-def/pdftex.def -File: pdftex.def 2024/04/13 v1.2c Graphics/color driver for pdftex + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/graphics-def/pdftex.def +File: pdftex.def 2025/09/29 v1.2d Graphics/color driver for pdftex )) -\Gin@req@height=\dimen156 -\Gin@req@width=\dimen157 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/pdfpages/pdfpages.sty -Package: pdfpages 2025/01/30 v0.6e Insert pages of external PDF documents (AM) - (/usr/local/texlive/2025/texmf-dist/tex/latex/tools/calc.sty -Package: calc 2023/07/08 v4.3 Infix arithmetic (KKT,FJ) -\calc@Acount=\count300 -\calc@Bcount=\count301 -\calc@Adimen=\dimen158 -\calc@Bdimen=\dimen159 +\Gin@req@height=\dimen163 +\Gin@req@width=\dimen164 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pdfpages/pdfpages.sty +Package: pdfpages 2025/07/23 v0.6g Insert pages of external PDF documents (AM) + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/tools/calc.sty +Package: calc 2025/03/01 v4.3b Infix arithmetic (KKT,FJ) +\calc@Acount=\count313 +\calc@Bcount=\count314 +\calc@Adimen=\dimen165 +\calc@Bdimen=\dimen166 \calc@Askip=\skip53 \calc@Bskip=\skip54 -LaTeX Info: Redefining \setlength on input line 80. -LaTeX Info: Redefining \addtolength on input line 81. -\calc@Ccount=\count302 +LaTeX Info: Redefining \setlength on input line 86. +LaTeX Info: Redefining \addtolength on input line 87. +\calc@Ccount=\count315 \calc@Cskip=\skip55 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/eso-pic/eso-pic.sty -Package: eso-pic 2023/05/03 v3.0c eso-pic (RN) -\ESO@tempdima=\dimen160 -\ESO@tempdimb=\dimen161 - (/usr/local/texlive/2025/texmf-dist/tex/latex/xcolor/xcolor.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/eso-pic/eso-pic.sty +Package: eso-pic 2025/12/10 v3.0d eso-pic (RN) +\ESO@tempdima=\dimen167 +\ESO@tempdimb=\dimen168 + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2024/09/29 v3.02 LaTeX color extensions (UK) - (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics-cfg/color.cfg + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) Package xcolor Info: Driver file: pdftex.def on input line 274. - (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/mathcolor.ltx) + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/graphics/mathcolor.ltx) Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1349. Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1353. Package xcolor Info: Model `RGB' extended on input line 1365. @@ -225,425 +225,412 @@ Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1370. Package xcolor Info: Model `Gray' substituted by `gray' on input line 1371. Package xcolor Info: Model `wave' substituted by `hsb' on input line 1372. )) -\AM@pagewidth=\dimen162 -\AM@pageheight=\dimen163 -\AM@fboxrule=\dimen164 - (/usr/local/texlive/2025/texmf-dist/tex/latex/pdfpages/pppdftex.def -File: pppdftex.def 2025/01/30 v0.6e Pdfpages driver for pdfTeX (AM) +\AM@pagewidth=\dimen169 +\AM@pageheight=\dimen170 +\AM@fboxrule=\dimen171 + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pdfpages/pppdftex.def +File: pppdftex.def 2025/07/23 v0.6g Pdfpages driver for pdfTeX (AM) ) -\pdfpages@includegraphics@status=\count303 -\AM@pagebox=\box53 -\AM@global@opts=\toks27 -\AM@pagecnt=\count304 -\AM@toc@title=\toks28 -\AM@lof@heading=\toks29 -\c@AM@survey=\count305 -\AM@templatesizebox=\box54 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/rotating.sty -Package: rotating 2016/08/11 v2.16d rotated objects in LaTeX -\c@r@tfl@t=\count306 +\pdfpages@includegraphics@status=\count316 +\AM@pagebox=\box54 +\AM@global@opts=\toks28 +\AM@pagecnt=\count317 +\AM@toc@title=\toks29 +\AM@lof@heading=\toks30 +\c@AM@survey=\count318 +\AM@templatesizebox=\box55 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/graphics/rotating.sty +Package: rotating 2025/01/14 v2.16e rotated objects in LaTeX +\c@r@tfl@t=\count319 \rotFPtop=\skip56 \rotFPbot=\skip57 -\rot@float@box=\box55 -\rot@mess@toks=\toks30 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex -\pgfutil@everybye=\toks31 -\pgfutil@tempdima=\dimen165 -\pgfutil@tempdimb=\dimen166 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def -\pgfutil@abb=\box56 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/pgf.revision.tex) -Package: pgfrcs 2023-01-15 v3.1.10 (3.1.10) +\rot@float@box=\box56 +\rot@mess@toks=\toks31 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex +\pgfutil@everybye=\toks32 +\pgfutil@tempdima=\dimen172 +\pgfutil@tempdimb=\dimen173 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def +\pgfutil@abb=\box57 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/pgf.revision.tex) +Package: pgfrcs 2025-08-29 v3.1.11a (3.1.11a) )) -Package: pgf 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex -Package: pgfsys 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex -\pgfkeys@pathtoks=\toks32 -\pgfkeys@temptoks=\toks33 - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex -\pgfkeys@tmptoks=\toks34 +Package: pgf 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex +Package: pgfsys 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex +\pgfkeys@pathtoks=\toks33 +\pgfkeys@temptoks=\toks34 + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex +\pgfkeys@tmptoks=\toks35 )) -\pgf@x=\dimen167 -\pgf@y=\dimen168 -\pgf@xa=\dimen169 -\pgf@ya=\dimen170 -\pgf@xb=\dimen171 -\pgf@yb=\dimen172 -\pgf@xc=\dimen173 -\pgf@yc=\dimen174 -\pgf@xd=\dimen175 -\pgf@yd=\dimen176 +\pgf@x=\dimen174 +\pgf@y=\dimen175 +\pgf@xa=\dimen176 +\pgf@ya=\dimen177 +\pgf@xb=\dimen178 +\pgf@yb=\dimen179 +\pgf@xc=\dimen180 +\pgf@yc=\dimen181 +\pgf@xd=\dimen182 +\pgf@yd=\dimen183 \w@pgf@writea=\write3 \r@pgf@reada=\read2 -\c@pgf@counta=\count307 -\c@pgf@countb=\count308 -\c@pgf@countc=\count309 -\c@pgf@countd=\count310 -\t@pgf@toka=\toks35 -\t@pgf@tokb=\toks36 -\t@pgf@tokc=\toks37 -\pgf@sys@id@count=\count311 - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg -File: pgf.cfg 2023-01-15 v3.1.10 (3.1.10) +\c@pgf@counta=\count320 +\c@pgf@countb=\count321 +\c@pgf@countc=\count322 +\c@pgf@countd=\count323 +\t@pgf@toka=\toks36 +\t@pgf@tokb=\toks37 +\t@pgf@tokc=\toks38 +\pgf@sys@id@count=\count324 + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg +File: pgf.cfg 2025-08-29 v3.1.11a (3.1.11a) ) Driver file for pgf: pgfsys-pdftex.def - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def -File: pgfsys-pdftex.def 2023-01-15 v3.1.10 (3.1.10) - -(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def -File: pgfsys-common-pdf.def 2023-01-15 v3.1.10 (3.1.10) -))) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex -File: pgfsyssoftpath.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgfsyssoftpath@smallbuffer@items=\count312 -\pgfsyssoftpath@bigbuffer@items=\count313 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex -File: pgfsysprotocol.code.tex 2023-01-15 v3.1.10 (3.1.10) -)) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex -Package: pgfcore 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex -\pgfmath@dimen=\dimen177 -\pgfmath@count=\count314 -\pgfmath@box=\box57 -\pgfmath@toks=\toks38 -\pgfmath@stack@operand=\toks39 -\pgfmath@stack@operation=\toks40 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex -\c@pgfmathroundto@lastzeros=\count315 -)) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex -File: pgfcorepoints.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgf@picminx=\dimen178 -\pgf@picmaxx=\dimen179 -\pgf@picminy=\dimen180 -\pgf@picmaxy=\dimen181 -\pgf@pathminx=\dimen182 -\pgf@pathmaxx=\dimen183 -\pgf@pathminy=\dimen184 -\pgf@pathmaxy=\dimen185 -\pgf@xx=\dimen186 -\pgf@xy=\dimen187 -\pgf@yx=\dimen188 -\pgf@yy=\dimen189 -\pgf@zx=\dimen190 -\pgf@zy=\dimen191 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex -File: pgfcorepathconstruct.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgf@path@lastx=\dimen192 -\pgf@path@lasty=\dimen193 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex -File: pgfcorepathusage.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgf@shorten@end@additional=\dimen194 -\pgf@shorten@start@additional=\dimen195 + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def +File: pgfsys-pdftex.def 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def +File: pgfsys-common-pdf.def 2025-08-29 v3.1.11a (3.1.11a) +))) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex +File: pgfsyssoftpath.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgfsyssoftpath@smallbuffer@items=\count325 +\pgfsyssoftpath@bigbuffer@items=\count326 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex +File: pgfsysprotocol.code.tex 2025-08-29 v3.1.11a (3.1.11a) +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex +Package: pgfcore 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex +\pgfmath@dimen=\dimen184 +\pgfmath@count=\count327 +\pgfmath@box=\box58 +\pgfmath@toks=\toks39 +\pgfmath@stack@operand=\toks40 +\pgfmath@stack@operation=\toks41 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex +\c@pgfmathroundto@lastzeros=\count328 +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex +File: pgfcorepoints.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgf@picminx=\dimen185 +\pgf@picmaxx=\dimen186 +\pgf@picminy=\dimen187 +\pgf@picmaxy=\dimen188 +\pgf@pathminx=\dimen189 +\pgf@pathmaxx=\dimen190 +\pgf@pathminy=\dimen191 +\pgf@pathmaxy=\dimen192 +\pgf@xx=\dimen193 +\pgf@xy=\dimen194 +\pgf@yx=\dimen195 +\pgf@yy=\dimen196 +\pgf@zx=\dimen197 +\pgf@zy=\dimen198 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex +File: pgfcorepathconstruct.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgf@path@lastx=\dimen199 +\pgf@path@lasty=\dimen256 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex +File: pgfcorepathusage.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgf@shorten@end@additional=\dimen257 +\pgf@shorten@start@additional=\dimen258 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex +File: pgfcorescopes.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgfpic=\box59 +\pgf@hbox=\box60 +\pgf@layerbox@main=\box61 +\pgf@picture@serial@count=\count329 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex +File: pgfcoregraphicstate.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgflinewidth=\dimen259 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex +File: pgfcoretransformations.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgf@pt@x=\dimen260 +\pgf@pt@y=\dimen261 +\pgf@pt@temp=\dimen262 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex +File: pgfcorequick.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex +File: pgfcoreobjects.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex +File: pgfcorepathprocessing.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex +File: pgfcorearrows.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgfarrowsep=\dimen263 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex +File: pgfcoreshade.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgf@max=\dimen264 +\pgf@sys@shading@range@num=\count330 +\pgf@shadingcount=\count331 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex +File: pgfcoreimage.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex +File: pgfcoreexternal.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgfexternal@startupbox=\box62 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex +File: pgfcorelayers.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex +File: pgfcoretransparency.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex +File: pgfcorepatterns.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex +File: pgfcorerdf.code.tex 2025-08-29 v3.1.11a (3.1.11a) +))) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex +File: pgfmoduleshapes.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgfnodeparttextbox=\box63 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex +File: pgfmoduleplot.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty +Package: pgfcomp-version-0-65 2025-08-29 v3.1.11a (3.1.11a) +\pgf@nodesepstart=\dimen265 +\pgf@nodesepend=\dimen266 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty +Package: pgfcomp-version-1-18 2025-08-29 v3.1.11a (3.1.11a) +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex +Package: pgffor 2025-08-29 v3.1.11a (3.1.11a) +\pgffor@iter=\dimen267 +\pgffor@skip=\dimen268 +\pgffor@stack=\toks42 +\pgffor@toks=\toks43 +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex +Package: tikz 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex +File: pgflibraryplothandlers.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgf@plot@mark@count=\count332 +\pgfplotmarksize=\dimen269 ) -(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex -File: pgfcorescopes.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgfpic=\box58 -\pgf@hbox=\box59 -\pgf@layerbox@main=\box60 -\pgf@picture@serial@count=\count316 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex -File: pgfcoregraphicstate.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgflinewidth=\dimen196 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex -File: pgfcoretransformations.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgf@pt@x=\dimen197 -\pgf@pt@y=\dimen198 -\pgf@pt@temp=\dimen199 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex -File: pgfcorequick.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex -File: pgfcoreobjects.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex -File: pgfcorepathprocessing.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex -File: pgfcorearrows.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgfarrowsep=\dimen256 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex -File: pgfcoreshade.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgf@max=\dimen257 -\pgf@sys@shading@range@num=\count317 -\pgf@shadingcount=\count318 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex -File: pgfcoreimage.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex -File: pgfcoreexternal.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgfexternal@startupbox=\box61 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex -File: pgfcorelayers.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex -File: pgfcoretransparency.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex -File: pgfcorepatterns.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex -File: pgfcorerdf.code.tex 2023-01-15 v3.1.10 (3.1.10) -))) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex -File: pgfmoduleshapes.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgfnodeparttextbox=\box62 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex -File: pgfmoduleplot.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty -Package: pgfcomp-version-0-65 2023-01-15 v3.1.10 (3.1.10) -\pgf@nodesepstart=\dimen258 -\pgf@nodesepend=\dimen259 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty -Package: pgfcomp-version-1-18 2023-01-15 v3.1.10 (3.1.10) -)) (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) -(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex -Package: pgffor 2023-01-15 v3.1.10 (3.1.10) -\pgffor@iter=\dimen260 -\pgffor@skip=\dimen261 -\pgffor@stack=\toks41 -\pgffor@toks=\toks42 -)) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex -Package: tikz 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex -File: pgflibraryplothandlers.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgf@plot@mark@count=\count319 -\pgfplotmarksize=\dimen262 +\tikz@lastx=\dimen270 +\tikz@lasty=\dimen271 +\tikz@lastxsaved=\dimen272 +\tikz@lastysaved=\dimen273 +\tikz@lastmovetox=\dimen274 +\tikz@lastmovetoy=\dimen275 +\tikzleveldistance=\dimen276 +\tikzsiblingdistance=\dimen277 +\tikz@figbox=\box64 +\tikz@figbox@bg=\box65 +\tikz@tempbox=\box66 +\tikz@tempbox@bg=\box67 +\tikztreelevel=\count333 +\tikznumberofchildren=\count334 +\tikznumberofcurrentchild=\count335 +\tikz@fig@count=\count336 + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex +File: pgfmodulematrix.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgfmatrixcurrentrow=\count337 +\pgfmatrixcurrentcolumn=\count338 +\pgf@matrix@numberofcolumns=\count339 ) -\tikz@lastx=\dimen263 -\tikz@lasty=\dimen264 -\tikz@lastxsaved=\dimen265 -\tikz@lastysaved=\dimen266 -\tikz@lastmovetox=\dimen267 -\tikz@lastmovetoy=\dimen268 -\tikzleveldistance=\dimen269 -\tikzsiblingdistance=\dimen270 -\tikz@figbox=\box63 -\tikz@figbox@bg=\box64 -\tikz@tempbox=\box65 -\tikz@tempbox@bg=\box66 -\tikztreelevel=\count320 -\tikznumberofchildren=\count321 -\tikznumberofcurrentchild=\count322 -\tikz@fig@count=\count323 - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex -File: pgfmodulematrix.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgfmatrixcurrentrow=\count324 -\pgfmatrixcurrentcolumn=\count325 -\pgf@matrix@numberofcolumns=\count326 +\tikz@expandcount=\count340 + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex +File: tikzlibrarytopaths.code.tex 2025-08-29 v3.1.11a (3.1.11a) +))) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex +File: tikzlibrarypositioning.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.code.tex +File: tikzlibraryshapes.code.tex 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex +File: tikzlibraryshapes.geometric.code.tex 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex +File: pgflibraryshapes.geometric.code.tex 2025-08-29 v3.1.11a (3.1.11a) +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.misc.code.tex +File: tikzlibraryshapes.misc.code.tex 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.misc.code.tex +File: pgflibraryshapes.misc.code.tex 2025-08-29 v3.1.11a (3.1.11a) +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.symbols.code.tex +File: tikzlibraryshapes.symbols.code.tex 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.symbols.code.tex +File: pgflibraryshapes.symbols.code.tex 2025-08-29 v3.1.11a (3.1.11a) +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.arrows.code.tex +File: tikzlibraryshapes.arrows.code.tex 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.arrows.code.tex +File: pgflibraryshapes.arrows.code.tex 2025-08-29 v3.1.11a (3.1.11a) +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.callouts.code.tex (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.callouts.code.tex)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.multipart.code.tex +File: tikzlibraryshapes.multipart.code.tex 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.multipart.code.tex +File: pgflibraryshapes.multipart.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgfnodepartlowerbox=\box68 +\pgfnodeparttwobox=\box69 +\pgfnodepartthreebox=\box70 +\pgfnodepartfourbox=\box71 +\pgfnodeparttwentybox=\box72 +\pgfnodepartnineteenbox=\box73 +\pgfnodeparteighteenbox=\box74 +\pgfnodepartseventeenbox=\box75 +\pgfnodepartsixteenbox=\box76 +\pgfnodepartfifteenbox=\box77 +\pgfnodepartfourteenbox=\box78 +\pgfnodepartthirteenbox=\box79 +\pgfnodeparttwelvebox=\box80 +\pgfnodepartelevenbox=\box81 +\pgfnodeparttenbox=\box82 +\pgfnodepartninebox=\box83 +\pgfnodeparteightbox=\box84 +\pgfnodepartsevenbox=\box85 +\pgfnodepartsixbox=\box86 +\pgfnodepartfivebox=\box87 +))) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex +File: tikzlibraryarrows.code.tex 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex +File: pgflibraryarrows.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\arrowsize=\dimen278 +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/graphs/tikzlibrarygraphs.code.tex +File: tikzlibrarygraphs.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\tikz@lib@auto@number=\count341 +\tikz@qnode@count=\count342 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex +File: tikzlibrarycalc.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarychains.code.tex +File: tikzlibrarychains.code.tex 2025-08-29 v3.1.11a (3.1.11a) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.markings.code.tex (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex +\pgfdecoratedcompleteddistance=\dimen279 +\pgfdecoratedremainingdistance=\dimen280 +\pgfdecoratedinputsegmentcompleteddistance=\dimen281 +\pgfdecoratedinputsegmentremainingdistance=\dimen282 +\pgf@decorate@distancetomove=\dimen283 +\pgf@decorate@repeatstate=\count343 +\pgfdecorationsegmentamplitude=\dimen284 +\pgfdecorationsegmentlength=\dimen285 ) -\tikz@expandcount=\count327 - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex -File: tikzlibrarytopaths.code.tex 2023-01-15 v3.1.10 (3.1.10) -))) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex -File: tikzlibrarypositioning.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.code.tex -File: tikzlibraryshapes.code.tex 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex -File: tikzlibraryshapes.geometric.code.tex 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex -File: pgflibraryshapes.geometric.code.tex 2023-01-15 v3.1.10 (3.1.10) -)) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.misc.code.tex -File: tikzlibraryshapes.misc.code.tex 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.misc.code.tex -File: pgflibraryshapes.misc.code.tex 2023-01-15 v3.1.10 (3.1.10) -)) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.symbols.code.tex -File: tikzlibraryshapes.symbols.code.tex 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.symbols.code.tex -File: pgflibraryshapes.symbols.code.tex 2023-01-15 v3.1.10 (3.1.10) -)) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.arrows.code.tex -File: tikzlibraryshapes.arrows.code.tex 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.arrows.code.tex -File: pgflibraryshapes.arrows.code.tex 2023-01-15 v3.1.10 (3.1.10) -)) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.callouts.code.tex (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.callouts.code.tex)) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.multipart.code.tex -File: tikzlibraryshapes.multipart.code.tex 2023-01-15 v3.1.10 (3.1.10) - -(/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.multipart.code.tex -File: pgflibraryshapes.multipart.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgfnodepartlowerbox=\box67 -\pgfnodeparttwobox=\box68 -\pgfnodepartthreebox=\box69 -\pgfnodepartfourbox=\box70 -\pgfnodeparttwentybox=\box71 -\pgfnodepartnineteenbox=\box72 -\pgfnodeparteighteenbox=\box73 -\pgfnodepartseventeenbox=\box74 -\pgfnodepartsixteenbox=\box75 -\pgfnodepartfifteenbox=\box76 -\pgfnodepartfourteenbox=\box77 -\pgfnodepartthirteenbox=\box78 -\pgfnodeparttwelvebox=\box79 -\pgfnodepartelevenbox=\box80 -\pgfnodeparttenbox=\box81 -\pgfnodepartninebox=\box82 -\pgfnodeparteightbox=\box83 -\pgfnodepartsevenbox=\box84 -\pgfnodepartsixbox=\box85 -\pgfnodepartfivebox=\box86 -))) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex -File: tikzlibraryarrows.code.tex 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex -File: pgflibraryarrows.code.tex 2023-01-15 v3.1.10 (3.1.10) -\arrowsize=\dimen271 -)) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/graphs/tikzlibrarygraphs.code.tex -File: tikzlibrarygraphs.code.tex 2023-01-15 v3.1.10 (3.1.10) -\tikz@lib@auto@number=\count328 -\tikz@qnode@count=\count329 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex -File: tikzlibrarycalc.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarychains.code.tex -File: tikzlibrarychains.code.tex 2023-01-15 v3.1.10 (3.1.10) -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.markings.code.tex (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarydecorations.code.tex (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex -\pgfdecoratedcompleteddistance=\dimen272 -\pgfdecoratedremainingdistance=\dimen273 -\pgfdecoratedinputsegmentcompleteddistance=\dimen274 -\pgfdecoratedinputsegmentremainingdistance=\dimen275 -\pgf@decorate@distancetomove=\dimen276 -\pgf@decorate@repeatstate=\count330 -\pgfdecorationsegmentamplitude=\dimen277 -\pgfdecorationsegmentlength=\dimen278 -) -\tikz@lib@dec@box=\box87 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.markings.code.tex)) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshadows.code.tex -File: tikzlibraryshadows.code.tex 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryfadings.code.tex -File: tikzlibraryfadings.code.tex 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/pgflibraryfadings.code.tex -File: pgflibraryfadings.code.tex 2023-01-15 v3.1.10 (3.1.10) -))) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex -File: pgflibraryarrows.meta.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgfarrowinset=\dimen279 -\pgfarrowlength=\dimen280 -\pgfarrowwidth=\dimen281 -\pgfarrowlinewidth=\dimen282 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/standalone/standalone.sty +\tikz@lib@dec@box=\box88 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecorations.markings.code.tex)) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshadows.code.tex +File: tikzlibraryshadows.code.tex 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryfadings.code.tex +File: tikzlibraryfadings.code.tex 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/pgflibraryfadings.code.tex +File: pgflibraryfadings.code.tex 2025-08-29 v3.1.11a (3.1.11a) +))) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex +File: pgflibraryarrows.meta.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgfarrowinset=\dimen286 +\pgfarrowlength=\dimen287 +\pgfarrowwidth=\dimen288 +\pgfarrowlinewidth=\dimen289 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/standalone/standalone.sty Package: standalone 2025/02/22 v1.5a Package to include TeX sub-files with preambles - (/usr/local/texlive/2025/texmf-dist/tex/latex/tools/shellesc.sty + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/tools/shellesc.sty Package: shellesc 2023/07/08 v1.0d unified shell escape interface for LaTeX Package shellesc Info: Restricted shell escape enabled on input line 77. -) (/usr/local/texlive/2025/texmf-dist/tex/latex/currfile/currfile.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/currfile/currfile.sty Package: currfile 2024/03/14 v1.0 Provides the file path elements of the current input file - (/usr/local/texlive/2025/texmf-dist/tex/latex/kvoptions/kvoptions.sty -Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO) - (/usr/local/texlive/2025/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty -Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO) -) (/usr/local/texlive/2025/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty -Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO) -)) (/usr/local/texlive/2025/texmf-dist/tex/latex/filehook/filehook.sty -Package: filehook 2022/10/25 v0.8b Hooks for input files -(/usr/local/texlive/2025/texmf-dist/tex/latex/filehook/filehook-2020.sty +(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/kvoptions/kvoptions.sty +Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty +Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO) +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/filehook/filehook.sty +Package: filehook 2022/10/25 v0.8b Hooks for input files + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/filehook/filehook-2020.sty Package: filehook-2020 2022/10/25 v0.8b Hooks for input files )) -\c@currfiledepth=\count331 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/gincltex/gincltex.sty (/usr/local/texlive/2025/texmf-dist/tex/latex/svn-prov/svn-prov.sty +\c@currfiledepth=\count344 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/gincltex/gincltex.sty (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/svn-prov/svn-prov.sty Package: svn-prov 2010/04/24 v3.1862 Package Date/Version from SVN Keywords ) Package: gincltex 2011/09/04 v0.3 Include external LaTeX files like graphics - (/usr/local/texlive/2025/texmf-dist/tex/latex/adjustbox/adjustbox.sty + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/adjustbox/adjustbox.sty Package: adjustbox 2025/02/26 v1.3c Adjusting TeX boxes (trim, clip, ...) - (/usr/local/texlive/2025/texmf-dist/tex/latex/adjustbox/adjcalc.sty + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/adjustbox/adjcalc.sty Package: adjcalc 2012/05/16 v1.1 Provides advanced setlength with multiple back-ends (calc, etex, pgfmath) -) (/usr/local/texlive/2025/texmf-dist/tex/latex/adjustbox/trimclip.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/adjustbox/trimclip.sty Package: trimclip 2025/02/21 v1.2a Trim and clip general TeX material - (/usr/local/texlive/2025/texmf-dist/tex/latex/collectbox/collectbox.sty + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/collectbox/collectbox.sty Package: collectbox 2022/10/17 v0.4c Collect macro arguments as boxes -\collectedbox=\box88 +\collectedbox=\box89 ) -\tc@llx=\dimen283 -\tc@lly=\dimen284 -\tc@urx=\dimen285 -\tc@ury=\dimen286 +\tc@llx=\dimen290 +\tc@lly=\dimen291 +\tc@urx=\dimen292 +\tc@ury=\dimen293 Package trimclip Info: Using driver 'tc-pdftex.def'. - (/usr/local/texlive/2025/texmf-dist/tex/latex/adjustbox/tc-pdftex.def + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/adjustbox/tc-pdftex.def File: tc-pdftex.def 2025/02/26 v2.3 Clipping driver for pdftex )) -\adjbox@Width=\dimen287 -\adjbox@Height=\dimen288 -\adjbox@Depth=\dimen289 -\adjbox@Totalheight=\dimen290 -\adjbox@pwidth=\dimen291 -\adjbox@pheight=\dimen292 -\adjbox@pdepth=\dimen293 -\adjbox@ptotalheight=\dimen294 - (/usr/local/texlive/2025/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty -Package: ifoddpage 2022/10/18 v1.2 Conditionals for odd/even page detection -\c@checkoddpage=\count332 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/varwidth/varwidth.sty -Package: varwidth 2009/03/30 ver 0.92; Variable-width minipages -\@vwid@box=\box89 -\sift@deathcycles=\count333 -\@vwid@loff=\dimen295 -\@vwid@roff=\dimen296 -)) +\adjbox@Width=\dimen294 +\adjbox@Height=\dimen295 +\adjbox@Depth=\dimen296 +\adjbox@Totalheight=\dimen297 +\adjbox@pwidth=\dimen298 +\adjbox@pheight=\dimen299 +\adjbox@pdepth=\dimen300 +\adjbox@ptotalheight=\dimen301 +) \gincltex@box=\box90 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/filemod/filemod-expmin.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/filemod/filemod-expmin.sty Package: filemod-expmin 2011/09/19 v1.2 Get and compare file modification times (expandable; minimal) -)) (/usr/local/texlive/2025/texmf-dist/tex/latex/booktabs/booktabs.sty +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/booktabs/booktabs.sty Package: booktabs 2020/01/12 v1.61803398 Publication quality tables -\heavyrulewidth=\dimen297 -\lightrulewidth=\dimen298 -\cmidrulewidth=\dimen299 -\belowrulesep=\dimen300 -\belowbottomsep=\dimen301 -\aboverulesep=\dimen302 -\abovetopsep=\dimen303 -\cmidrulesep=\dimen304 -\cmidrulekern=\dimen305 -\defaultaddspace=\dimen306 -\@cmidla=\count334 -\@cmidlb=\count335 -\@aboverulesep=\dimen307 -\@belowrulesep=\dimen308 -\@thisruleclass=\count336 -\@lastruleclass=\count337 -\@thisrulewidth=\dimen309 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/tools/tabularx.sty +\heavyrulewidth=\dimen302 +\lightrulewidth=\dimen303 +\cmidrulewidth=\dimen304 +\belowrulesep=\dimen305 +\belowbottomsep=\dimen306 +\aboverulesep=\dimen307 +\abovetopsep=\dimen308 +\cmidrulesep=\dimen309 +\cmidrulekern=\dimen310 +\defaultaddspace=\dimen311 +\@cmidla=\count345 +\@cmidlb=\count346 +\@aboverulesep=\dimen312 +\@belowrulesep=\dimen313 +\@thisruleclass=\count347 +\@lastruleclass=\count348 +\@thisrulewidth=\dimen314 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/tools/tabularx.sty Package: tabularx 2023/12/11 v2.12a `tabularx' package (DPC) - (/usr/local/texlive/2025/texmf-dist/tex/latex/tools/array.sty -Package: array 2024/10/17 v2.6g Tabular extension package (FMi) -\col@sep=\dimen310 + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/tools/array.sty +Package: array 2025/09/25 v2.6n Tabular extension package (FMi) +\col@sep=\dimen315 \ar@mcellbox=\box91 -\extrarowheight=\dimen311 -\NC@list=\toks43 +\extrarowheight=\dimen316 +\NC@list=\toks44 \extratabsurround=\skip58 \backup@length=\skip59 \ar@cellbox=\box92 ) -\TX@col@width=\dimen312 -\TX@old@table=\dimen313 -\TX@old@col=\dimen314 -\TX@target=\dimen315 -\TX@delta=\dimen316 -\TX@cols=\count338 -\TX@ftn=\toks44 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/makecell/makecell.sty +\TX@col@width=\dimen317 +\TX@old@table=\dimen318 +\TX@old@col=\dimen319 +\TX@target=\dimen320 +\TX@delta=\dimen321 +\TX@cols=\count349 +\TX@ftn=\toks45 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/makecell/makecell.sty Package: makecell 2009/08/03 V0.1e Managing of Tab Column Heads and Cells -\rotheadsize=\dimen317 -\c@nlinenum=\count339 -\TeXr@lab=\toks45 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/tools/dcolumn.sty -Package: dcolumn 2023/07/08 v1.06 decimal alignment package (DPC) -) (/usr/local/texlive/2025/texmf-dist/tex/latex/multirow/multirow.sty +\rotheadsize=\dimen322 +\c@nlinenum=\count350 +\TeXr@lab=\toks46 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/tools/dcolumn.sty +Package: dcolumn 2025/10/21 v1.06 decimal alignment package (DPC) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/multirow/multirow.sty Package: multirow 2024/11/12 v2.9 Span multiple rows of a table \multirow@colwidth=\skip60 -\multirow@cntb=\count340 +\multirow@cntb=\count351 \multirow@dima=\skip61 -\bigstrutjot=\dimen318 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/graphics/lscape.sty +\bigstrutjot=\dimen323 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/graphics/lscape.sty Package: lscape 2020/05/28 v3.02 Landscape Pages (DPC) -) (/usr/local/texlive/2025/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2024/11/05 v2.17t AMS math features +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2025/07/09 v2.17z AMS math features \@mathmargin=\skip62 For additional information on amsmath, use the `?' option. -(/usr/local/texlive/2025/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2021/08/26 v2.01 AMS text -) (/usr/local/texlive/2025/texmf-dist/tex/latex/amsmath/amsbsy.sty +(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/amsmath/amstext.sty +Package: amstext 2024/11/17 v2.01 AMS text +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols -\pmbraise@=\dimen319 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/amsmath/amsopn.sty +\pmbraise@=\dimen324 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2022/04/08 v2.04 operator names ) -\inf@bad=\count341 +\inf@bad=\count352 LaTeX Info: Redefining \frac on input line 233. -\uproot@=\count342 -\leftroot@=\count343 +\uproot@=\count353 +\leftroot@=\count354 LaTeX Info: Redefining \overline on input line 398. LaTeX Info: Redefining \colon on input line 409. -\classnum@=\count344 -\DOTSCASE@=\count345 +\classnum@=\count355 +\DOTSCASE@=\count356 LaTeX Info: Redefining \ldots on input line 495. LaTeX Info: Redefining \dots on input line 498. LaTeX Info: Redefining \cdots on input line 619. @@ -653,137 +640,144 @@ LaTeX Info: Redefining \big on input line 721. LaTeX Info: Redefining \Big on input line 722. LaTeX Info: Redefining \bigg on input line 723. LaTeX Info: Redefining \Bigg on input line 724. -\big@size=\dimen320 +\big@size=\dimen325 LaTeX Font Info: Redeclaring font encoding OML on input line 742. LaTeX Font Info: Redeclaring font encoding OMS on input line 743. -\macc@depth=\count346 +\macc@depth=\count357 LaTeX Info: Redefining \bmod on input line 904. LaTeX Info: Redefining \pmod on input line 909. LaTeX Info: Redefining \smash on input line 939. LaTeX Info: Redefining \relbar on input line 969. LaTeX Info: Redefining \Relbar on input line 970. -\c@MaxMatrixCols=\count347 +\c@MaxMatrixCols=\count358 \dotsspace@=\muskip18 -\c@parentequation=\count348 -\dspbrk@lvl=\count349 -\tag@help=\toks46 -\row@=\count350 -\column@=\count351 -\maxfields@=\count352 -\andhelp@=\toks47 -\eqnshift@=\dimen321 -\alignsep@=\dimen322 -\tagshift@=\dimen323 -\tagwidth@=\dimen324 -\totwidth@=\dimen325 -\lineht@=\dimen326 -\@envbody=\toks48 +\c@parentequation=\count359 +\dspbrk@lvl=\count360 +\tag@help=\toks47 +\row@=\count361 +\column@=\count362 +\maxfields@=\count363 +\andhelp@=\toks48 +\eqnshift@=\dimen326 +\alignsep@=\dimen327 +\tagshift@=\dimen328 +\tagwidth@=\dimen329 +\totwidth@=\dimen330 +\lineht@=\dimen331 +\@envbody=\toks49 \multlinegap=\skip63 \multlinetaggap=\skip64 -\mathdisplay@stack=\toks49 -LaTeX Info: Redefining \[ on input line 2953. -LaTeX Info: Redefining \] on input line 2954. -) (/usr/local/texlive/2025/texmf-dist/tex/latex/amsfonts/amssymb.sty +\mathdisplay@stack=\toks50 +LaTeX Info: Redefining \[ on input line 2950. +LaTeX Info: Redefining \] on input line 2951. +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols - (/usr/local/texlive/2025/texmf-dist/tex/latex/amsfonts/amsfonts.sty + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup6 \symAMSb=\mathgroup7 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. -)) (/usr/local/texlive/2025/texmf-dist/tex/latex/jknapltx/mathrsfs.sty +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/jknapltx/mathrsfs.sty Package: mathrsfs 1996/01/01 Math RSFS package v1.0 (jk) \symrsfs=\mathgroup8 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/enumitem/enumitem.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/enumitem/enumitem.sty Package: enumitem 2025/02/06 v3.11 Customized lists \labelindent=\skip65 -\enit@outerparindent=\dimen327 -\enit@toks=\toks50 +\enit@outerparindent=\dimen332 +\enit@toks=\toks51 \enit@inbox=\box95 -\enit@count@id=\count353 -\enitdp@description=\count354 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count355 +\enit@count@id=\count364 +\enitdp@description=\count365 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/listings/listings.sty +\lst@mode=\count366 \lst@gtempboxa=\box96 -\lst@token=\toks51 -\lst@length=\count356 -\lst@currlwidth=\dimen328 -\lst@column=\count357 -\lst@pos=\count358 -\lst@lostspace=\dimen329 -\lst@width=\dimen330 -\lst@newlines=\count359 -\lst@lineno=\count360 -\lst@maxwidth=\dimen331 - (/usr/local/texlive/2025/texmf-dist/tex/latex/listings/lstpatch.sty -File: lstpatch.sty 2024/09/23 1.10c (Carsten Heinz) -) (/usr/local/texlive/2025/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2024/09/23 1.10c (Carsten Heinz) -\c@lstnumber=\count361 -\lst@skipnumbers=\count362 +\lst@token=\toks52 +\lst@length=\count367 +\lst@currlwidth=\dimen333 +\lst@column=\count368 +\lst@pos=\count369 +\lst@lostspace=\dimen334 +\lst@width=\dimen335 +\lst@newlines=\count370 +\lst@lineno=\count371 +\lst@maxwidth=\dimen336 + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/listings/lstpatch.sty +File: lstpatch.sty 2025/11/14 1.11b (Carsten Heinz) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/listings/lstmisc.sty +File: lstmisc.sty 2025/11/14 1.11b (Carsten Heinz) +\c@lstnumber=\count372 +\lst@skipnumbers=\count373 \lst@framebox=\box97 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2024/09/23 1.10c listings configuration +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/listings/listings.cfg +File: listings.cfg 2025/11/14 1.11b listings configuration )) -Package: listings 2024/09/23 1.10c (Carsten Heinz) - (/usr/local/texlive/2025/texmf-dist/tex/latex/pgfgantt/pgfgantt.sty +Package: listings 2025/11/14 1.11b (Carsten Heinz) + +==> First Aid for listings.sty no longer applied! + Expected: + 2024/09/23 1.10c (Carsten Heinz) + but found: + 2025/11/14 1.11b (Carsten Heinz) + so I'm assuming it got fixed. +(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgfgantt/pgfgantt.sty Package: pgfgantt 2024/06/19 v5.0a Draw Gantt diagrams with TikZ - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex -File: tikzlibrarybackgrounds.code.tex 2023-01-15 v3.1.10 (3.1.10) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex +File: tikzlibrarybackgrounds.code.tex 2025-08-29 v3.1.11a (3.1.11a) \pgf@layerbox@background=\box98 \pgf@layerboxsaved@background=\box99 -) (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypatterns.code.tex -File: tikzlibrarypatterns.code.tex 2023-01-15 v3.1.10 (3.1.10) - (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/libraries/pgflibrarypatterns.code.tex -File: pgflibrarypatterns.code.tex 2023-01-15 v3.1.10 (3.1.10) -)) (/usr/local/texlive/2025/texmf-dist/tex/latex/pgf/utilities/pgfcalendar.sty (/usr/local/texlive/2025/texmf-dist/tex/generic/pgf/utilities/pgfcalendar.code.tex -File: pgfcalendar.code.tex 2023-01-15 v3.1.10 (3.1.10) -\pgfcalendarcurrentjulian=\count363 -\pgf@cal@easter@Y=\count364 -\pgf@cal@easter@G=\count365 -\pgf@cal@easter@C=\count366 -\pgf@cal@easter@X=\count367 -\pgf@cal@easter@Z=\count368 -\pgf@cal@easter@D=\count369 -\pgf@cal@easter@E=\count370 -\pgf@cal@easter@N=\count371 -\pgf@cal@easter@M=\count372 -\pgf@cal@easter@julianday=\count373 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypatterns.code.tex +File: tikzlibrarypatterns.code.tex 2025-08-29 v3.1.11a (3.1.11a) + (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/libraries/pgflibrarypatterns.code.tex +File: pgflibrarypatterns.code.tex 2025-08-29 v3.1.11a (3.1.11a) +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pgf/utilities/pgfcalendar.sty (/Users/split/Library/TinyTeX/texmf-dist/tex/generic/pgf/utilities/pgfcalendar.code.tex +File: pgfcalendar.code.tex 2025-08-29 v3.1.11a (3.1.11a) +\pgfcalendarcurrentjulian=\count374 +\pgf@cal@easter@Y=\count375 +\pgf@cal@easter@G=\count376 +\pgf@cal@easter@C=\count377 +\pgf@cal@easter@X=\count378 +\pgf@cal@easter@Z=\count379 +\pgf@cal@easter@D=\count380 +\pgf@cal@easter@E=\count381 +\pgf@cal@easter@N=\count382 +\pgf@cal@easter@M=\count383 +\pgf@cal@easter@julianday=\count384 )) -\gtt@currentline=\count374 -\gtt@lasttitleline=\count375 -\gtt@currgrid=\count376 -\gtt@chartwidth=\count377 -\gtt@lasttitleslot=\count378 -\gtt@elementid=\count379 -\gtt@today@slot=\count380 -\gtt@startjulian=\count381 -\gtt@endjulian=\count382 -\gtt@chartid=\count383 -\gtt@vrule@slot=\count384 -\gtt@calendar@slots=\count385 -\gtt@calendar@weeknumber=\count386 -\gtt@calendar@startofweek=\count387 -\gtt@left@slot=\count388 -\gtt@right@slot=\count389 +\gtt@currentline=\count385 +\gtt@lasttitleline=\count386 +\gtt@currgrid=\count387 +\gtt@chartwidth=\count388 +\gtt@lasttitleslot=\count389 +\gtt@elementid=\count390 +\gtt@today@slot=\count391 +\gtt@startjulian=\count392 +\gtt@endjulian=\count393 +\gtt@chartid=\count394 +\gtt@vrule@slot=\count395 +\gtt@calendar@slots=\count396 +\gtt@calendar@weeknumber=\count397 +\gtt@calendar@startofweek=\count398 +\gtt@left@slot=\count399 +\gtt@right@slot=\count400 ) \figurewidth=\skip66 \figureheight=\skip67 -\c@task=\count390 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/colortbl/colortbl.sty -Package: colortbl 2024/07/06 v1.0i Color table columns (DPC) -\everycr=\toks52 +\c@task=\count401 +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/colortbl/colortbl.sty +Package: colortbl 2024/10/29 v1.0k Color table columns (DPC) +\everycr=\toks53 \minrowclearance=\skip68 -\rownum=\count391 +\rownum=\count402 ) LaTeX Font Info: Trying to load font information for OT1+ptm on input line 10. - (/usr/local/texlive/2025/texmf-dist/tex/latex/psnfss/ot1ptm.fd + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. -) (/usr/local/texlive/2025/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -File: l3backend-pdftex.def 2024-05-08 L3 backend support: PDF output (pdfTeX) -\l__color_backend_stack_int=\count392 -\l__pdf_internal_box=\box100 -) (./main.aux) +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +File: l3backend-pdftex.def 2025-10-09 L3 backend support: PDF output (pdfTeX) +\l__color_backend_stack_int=\count403 +) +No file main.aux. \openout1 = `main.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 10. @@ -800,7 +794,6 @@ LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 10. LaTeX Font Info: ... okay on input line 10. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 10. LaTeX Font Info: ... okay on input line 10. - *geometry* driver: auto-detecting *geometry* detected driver: pdftex *geometry* verbose mode - [ preamble ] result: @@ -835,47 +828,34 @@ LaTeX Font Info: ... okay on input line 10. * \@reversemarginfalse * (1in=72.27pt=25.4mm, 1cm=28.453pt) -(/usr/local/texlive/2025/texmf-dist/tex/latex/fmtcount/fc-english.def +(/Users/split/Library/TinyTeX/texmf-dist/tex/latex/fmtcount/fc-english.def File: fc-english.def 2016/01/12 -) (/usr/local/texlive/2025/texmf-dist/tex/context/base/mkii/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count393 -\scratchdimen=\dimen332 -\scratchbox=\box101 -\nofMPsegments=\count394 -\nofMParguments=\count395 -\everyMPshowfont=\toks53 -\MPscratchCnt=\count396 -\MPscratchDim=\dimen333 -\MPnumerator=\count397 -\makeMPintoPDFobject=\count398 -\everyMPtoPDFconversion=\toks54 -) (/usr/local/texlive/2025/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty +) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 485. - (/usr/local/texlive/2025/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live -)) (/usr/local/texlive/2025/texmf-dist/tex/latex/pdflscape/pdflscape.sty -Package: pdflscape 2022-10-27 v0.13 Display of landscape pages in PDF - (/usr/local/texlive/2025/texmf-dist/tex/latex/pdflscape/pdflscape-nometadata.sty -Package: pdflscape-nometadata 2022-10-28 v0.13 Display of landscape pages in PDF (HO) +)) (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pdflscape/pdflscape.sty +Package: pdflscape 2025-06-23 v0.14 Display of landscape pages in PDF + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/pdflscape/pdflscape-nometadata.sty +Package: pdflscape-nometadata 2025-06-23 v0.14 Display of landscape pages in PDF (HO) Package pdflscape Info: Auto-detected driver: pdftex on input line 81. )) -\c@lstlisting=\count399 +\c@lstlisting=\count404 LaTeX Font Info: Trying to load font information for OT1+ztmcm on input line 13. - (/usr/local/texlive/2025/texmf-dist/tex/latex/psnfss/ot1ztmcm.fd + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/ot1ztmcm.fd File: ot1ztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OT1/ztmcm. ) LaTeX Font Info: Trying to load font information for OML+ztmcm on input line 13. - (/usr/local/texlive/2025/texmf-dist/tex/latex/psnfss/omlztmcm.fd + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/omlztmcm.fd File: omlztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OML/ztmcm. ) LaTeX Font Info: Trying to load font information for OMS+ztmcm on input line 13. - (/usr/local/texlive/2025/texmf-dist/tex/latex/psnfss/omsztmcm.fd + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/omsztmcm.fd File: omsztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMS/ztmcm. ) LaTeX Font Info: Trying to load font information for OMX+ztmcm on input line 13. - (/usr/local/texlive/2025/texmf-dist/tex/latex/psnfss/omxztmcm.fd + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/omxztmcm.fd File: omxztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMX/ztmcm. ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available @@ -885,121 +865,200 @@ LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10.95> not available LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 13. LaTeX Font Info: Trying to load font information for U+rsfs on input line 13. - (/usr/local/texlive/2025/texmf-dist/tex/latex/jknapltx/ursfs.fd + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/jknapltx/ursfs.fd File: ursfs.fd 1998/03/24 rsfs font definition file (jk) -) +) [1 -[1 - -{/usr/local/texlive/2025/texmf-var/fonts/map/pdftex/updmap/pdftex.map}{/usr/local/texlive/2025/texmf-dist/fonts/enc/dvips/base/8r.enc}] (./1-goals-and-outcomes/research_statement_v1.tex) - -[1] (./main.toc -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 4. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 4. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 4. -) +{/Users/split/Library/TinyTeX/texmf-var/fonts/map/pdftex/updmap/pdftex.map}{/Users/split/Library/TinyTeX/texmf-dist/fonts/enc/dvips/base/8r.enc}] (./1-goals-and-outcomes/research_statement_v1.tex) [1] +No file main.toc. \tf@toc=\write4 \openout4 = `main.toc'. +[2] (./1-goals-and-outcomes/v1.tex [1] +LaTeX Font Info: Trying to load font information for TS1+ptm on input line 72. + (/Users/split/Library/TinyTeX/texmf-dist/tex/latex/psnfss/ts1ptm.fd +File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm. +)) [2] (./2-state-of-the-art/v2.tex +Overfull \hbox (11.89426pt too wide) in paragraph at lines 5--6 +[]\OT1/ptm/m/n/12 No cur-rent ap-proach pro-vides end-to-end cor-rect-ness guar-an-tees for au-tonomous con-trol. Human- + [] -[2] (./1-goals-and-outcomes/v1.tex +LaTeX Warning: Citation `NUREG-0899' on page 3 undefined on input line 15. -[1]) -[2] (./2-state-of-the-art/v2.tex +LaTeX Warning: Citation `10CFR50.34' on page 3 undefined on input line 15. + + +LaTeX Warning: Citation `10CFR55.59' on page 3 undefined on input line 17. + + +LaTeX Warning: Citation `WRPS.Description' on page 3 undefined on input line 29. + + +LaTeX Warning: Citation `gentillon_westinghouse_1999' on page 3 undefined on input line 29. [3] +LaTeX Warning: Citation `operator_statistics' on page 4 undefined on input line 38. + + +LaTeX Warning: Citation `10CFR55' on page 4 undefined on input line 41. + + +LaTeX Warning: Citation `10CFR50.54' on page 4 undefined on input line 42. + + +LaTeX Warning: Citation `Kemeny1979' on page 4 undefined on input line 47. + + +LaTeX Warning: Citation `WNA2020' on page 4 undefined on input line 51. + + +LaTeX Warning: Citation `hogberg_root_2013' on page 4 undefined on input line 51. + + +LaTeX Warning: Citation `zhang_analysis_2025' on page 4 undefined on input line 53. + [4] -[5]) +LaTeX Warning: Citation `Kiniry2024' on page 5 undefined on input line 75. -[6] (./3-research-approach/v3.tex -LaTeX Warning: Citation `HANDBOOK ON HYBRID SYSTEMS' on page 7 undefined on input line 50. +Overfull \hbox (16.50409pt too wide) in paragraph at lines 91--93 +\OT1/ptm/m/n/12 un-ad-dressed. Real re-ac-tor safety de-pends on in-ter-ac-tions be-tween con-tin-u-ous pro-cesses|temperature, + [] -LaTeX Font Info: Trying to load font information for TS1+ptm on input line 60. -(/usr/local/texlive/2025/texmf-dist/tex/latex/psnfss/ts1ptm.fd -File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm. -) -[7] -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 103. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 109. +LaTeX Warning: Citation `Kiniry2024' on page 5 undefined on input line 103. +[5] +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 129. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 129. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 129. + [6]) [7] (./3-research-approach/v3.tex + +LaTeX Warning: Citation `HANDBOOK ON HYBRID SYSTEMS' on page 8 undefined on input line 36. [8] +Overfull \hbox (2.19873pt too wide) in paragraph at lines 66--67 +\OT1/ptm/m/n/12 dis-crete syn-the-sis de-fines en-try/exit/safety con-tracts that bound con-tin-u-ous ver-i-fi-ca-tion, trans- + [] -[9] - -[10] - -LaTeX Warning: Citation `MANYUS THESIS' on page 11 undefined on input line 383. +Runaway argument? +{enumerate> +! Paragraph ended before \end was complete. + + \par +l.70 + +I suspect you've forgotten a `}', causing me to apply this +control sequence to too much text. How can we recover? +My plan is to forget the whole thing and hope for the best. +LaTeX Warning: Reference `fig:hybrid_automaton' on page 9 undefined on input line 79. -[11] +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 99. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 105. -[12] +Overfull \hbox (9.91412pt too wide) in paragraph at lines 145--146 +\OT1/ptm/m/n/12 ism pro-vides the math-e-mat-i-cal struc-ture for hy-brid con-trol. A crit-i-cal ques-tion re-mains|where + [] -[13]) +[9] [10] [11] [12] +Overfull \hbox (54.11081pt too wide) in paragraph at lines 294--295 +[]\OT1/ptm/m/n/12 Control ob-jec-tives de-ter-mine the ver-i-fi-ca-tion ap-proach. Modes clas-sify into three types|transitory, + [] -[14] (./4-metrics-of-success/v1.tex +[13] -[15]) +LaTeX Warning: Citation `MANYUS THESIS' on page 14 undefined on input line 311. -[16] (./5-risks-and-contingencies/v1.tex +[14] [15] [16] [17] +Overfull \hbox (14.52377pt too wide) in paragraph at lines 537--538 +[]\OT1/ptm/m/n/12 Section 2 es-tab-lished that prior work ver-i-fied dis-crete logic or con-tin-u-ous dy-nam-ics|never + [] -[17] +) [18] (./4-metrics-of-success/v1.tex [19]) [20] [21] (./5-risks-and-contingencies/v1.tex [22] [23] +Overfull \hbox (6.25511pt too wide) in paragraph at lines 91--102 +[]\OT1/ptm/m/n/12 Several in-di-ca-tors would re-veal for-mal-iza-tion com-plete-ness prob-lems early in the project. + [] -[18]) +[24]) [25] (./6-broader-impacts/v1.tex -[19] (./6-broader-impacts/v1.tex) +LaTeX Warning: Citation `eia_lcoe_2022' on page 26 undefined on input line 17. -[20] -[21] (./8-schedule/v1.tex +LaTeX Warning: Citation `eesi_datacenter_2024' on page 26 undefined on input line 17. + + +Overfull \hbox (3.23172pt too wide) in paragraph at lines 17--18 +\OT1/ptm/m/n/12 Dat-a-cen-ter elec-tric-ity de-mand is pro-jected to reach 1,050 terawatt-hours an-nu-ally by 2030 [\OT1/ptm/b/n/12 ?\OT1/ptm/m/n/12 ]. + [] + + +LaTeX Warning: Citation `eia_lcoe_2022' on page 26 undefined on input line 19. + +[26] [27]) [28] (./8-schedule/v1.tex + +LaTeX Warning: Reference `fig:gantt' on page 29 undefined on input line 20. + Missing character: There is no , in font nullfont! -) (./main.bbl - -[22] +[29]) (./main.bbl Underfull \hbox (badness 10000) in paragraph at lines 32--33 \OT1/cmtt/m/n/12 nuclear . org / information -[] library / safety -[] and -[] security / safety -[] of -[] [] +[30]) [31] +! LaTeX Error: \begin{enumerate} on input line 65 ended by \end{document}. -[23]) +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.45 \end{document} + +Your command was ignored. +Type I to replace it with another command, +or to continue without it. -[24] (./main.aux) +(./main.aux) *********** -LaTeX2e <2024-11-01> patch level 2 -L3 programming layer <2025-01-18> +LaTeX2e <2025-11-01> +L3 programming layer <2026-01-19> *********** LaTeX Warning: There were undefined references. - ) + +LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. + + ) +(\end occurred inside a group at level 1) + +### semi simple group (level 1) entered at line 65 (\begingroup) +### bottom level Here is how much of TeX's memory you used: - 26267 strings out of 473190 - 547152 string characters out of 5715801 - 964002 words of memory out of 5000000 - 48907 multiletter control sequences out of 15000+600000 - 614280 words of font info for 155 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 110i,9n,107p,1062b,965s stack positions out of 10000i,1000n,20000p,200000b,200000s - -Output written on main.pdf (27 pages, 188983 bytes). + 25895 strings out of 469514 + 543789 string characters out of 5469022 + 968018 words of memory out of 5000000 + 53950 multiletter control sequences out of 15000+600000 + 683164 words of font info for 159 fonts, out of 8000000 for 9000 + 14 hyphenation exceptions out of 8191 + 110i,9n,108p,1062b,1235s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on main.pdf (34 pages, 204315 bytes). PDF statistics: - 180 PDF objects out of 1000 (max. 8388607) - 109 compressed objects within 2 object streams + 202 PDF objects out of 1000 (max. 8388607) + 124 compressed objects within 2 object streams 0 named destinations out of 1000 (max. 500000) 109 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/main.pdf b/main.pdf index f36c44331dcf8ca5d7f96400e06fbd23ce61e4d7..9a58aeace8d4f3759c2fea4a03fd429cf423f303 100644 GIT binary patch delta 137770 zcmV)WK(4>H#0#6e46sNB0X35m0x5rml1XpFAP|M``4t>(sh+X~9CGTuNs%hmx2gwf zlNi;33X@9t_a%n5>LT?7m^bfxGZ>={!svR2|5?wP+3{7)5XB$_<)~RBA_>$&B2F0) zhMEpN7FXVF%ZhSboV%e*yN95BNZa7@r8mK}YFL&}%^j);<`BIrItPhGb}D}fFPz`1 zA-n8t==EsEbad;qp6-IPZtHgW`_2B@o9-im4c-ld_TzywpMXXkje);}E9Kk%D0x#%#i8ui-+0-~-T^t`u7?U`Ze(+Ga%Ge82Ok4AGc=dc zYXK>LSxb}KHWI$)SIljxDof#0kKAnUcpp`pt%|4iV()=NVkB%RQcHj{k$-)@et@Dh z947}`Y;*%?H2U#1CcfL>#dm-EA=cjy4?q0)X_MV0$!b>=>D|NA-FCMsirw8N-mc=j zxO=GYzC;fP>lVwj*hal^rtGVOP_ZOeb)%# z&d!^oa$c-I$ed&84+j6)s#L-KQ1)f(jZxX|Nf#)ejPBFci~m0S^KO}JSmkAsukw5? zDpy_Ko63`996g#txk%&a*>?S+D54e5o16CYP&GKr%N>C4NEmqRBXPdI%NH62;&MTTnQOWT-QCcgC6d(#T*)OVGshu%10 ze)pUXHstHr8DX)*krG|I$YZrzOO^@Bven$Xt5fN<_ybIW8?~%voKFu1>e-fmkG8S? zyjYVrF4J8ey`P3noKG&0iJ__G6W&(tO&C6&8aaauhzAB8G2q~;rmb+{Gg?yobpu~~ zO8ddS;s#md2CVdK9hUl#6UK@jCrL4Cw>>_Wamey6;Ug z4di%|KA97895|2XQQY}{sK^N@YBBWpV9R8hp=eUsz)fqN$zjsyq?CW7jj0OUk#o$Vp8|3&;~*%*zFMd!Q2-&`)=S?l@$=SN4@ik- z_7Xhu8C~fbjsmx*D@Lb|-VM z{05VL5v{4zsKk9^E9*H|ipaxa3-@Oy1p8}T#Gih-f52}de2=8&8YK1kR617hZ4t6C zxmC8!uM0ZZw&h#^4r2M#^{gbuL->HBoM9{|cwVmV%8mFv0Mp&`AayU9bmPYq2Y;VS8k;U!4m9@ymy3nib2S>g#pBUP@ z>}vt>lQtrM4w-cQJuLrml9@B4N3JW9m8%9Qg;O{&BsM0MmIhxzW*OGlO%sNAI_S?Q zu2=CZ z3Toq@P$NbZlAudq^%_B!W$%AG4UN;P6&9U|TGIl5_2EDXkSw=oFwj}Zp{)rv(WhW< z+fd%(vXDd{%D%V4N98iT4{48-r#YMth)KZmXqIDRC~Us8l5z`8qD6UnQbVNG&@;cGz?k@*4;v!6cfimwNU`S*koX2h_O()M3E9p`H;e}CK zO8UG9rj&IJm**0ga_%r9HE9defZZurN4aSm33;atxFi*Bz-NL{+i^*iH@)WfJ0+SB zI;D3)a*u~!H&kdN-P6!0LmL?vGBT$_&C~&4f`aGc!i@WgwjN)e?v~jqNwT|T3LWBq zo#>FPu4I1vwAoIdroJrmT^xPZij8>urY}Jw_#)!eFLFRIMqG<*6NMxwnVY_zL*cB) zT~BLhuGc?w{R^|^f^`@)G)gL88goME}kgF)}zwT^86e6>w(>_5Sb={6lPBTmT& zz>pqbn~v>jx=rSgVjdR+%WlyQ2~W^}4%YF2yG}S5Ze=h)AQ=Y;n0>Yh7aV8Phl)!( zfluk3=}W6Wzel`QmmWVpPS-FO9Kq{z7Q@FxGf>->q z7h`M++KJY;N_-I>9L+zyim^E*0!!wAy;KNM(;Q*$bW7-YHoqW{v~UBCNJR{Pan;H1 z!R`;s>D$UJB+{pW)lHbq`C9sC;_N@%RB5N1rPrNqpvSPG0qRxxiIu6c5~fpeDZ})I zS(JzgB8dyk23e71?8OrpOsigCaQdo=ek-;V8Ed5fy`;U}0+8 z`k?&l=8HSEYb*>2#lmkm>Dcgp?{466x?3weX5Iu4gK;9*VlKkoq7DP+g&=Q&v5cFm5hm&xBuiakZov;Eh zpl`M+yE#Esq~15&d`&%rymVkzC??Cd>%^X)wYE2?k4D%X@mtD|Vg>pfAM1%2(E$tD zBc(kX<_?Y@p!Py3@;fgto=3wWYG&N|03mrW>z$-ij5?!RRY0sRv~Ha6wL2T3C=ml^>MYv{%GXznBxs>hBciAN4SAst z!6t1a|3!j6B^M@9Yr>y?Kv1$c@tJ3_{MDb-NbJV{QTtXgya={kr6El1mCXIa55EH+ zt`ZHCv=b-+HIoqnDStCiNLMgWaOX0B(oP{<`fe5m3Wg?n#wKP)3L$9<=0*zU2IhJu zCgutuDGJdV&iQ#Isd**Enz12XaDDo2=Ee$!hI*E!reIA*#s+$3=H?2zW@e^(#>S=) zt(lo9np{J;01mAjUkYVzWOHONa1*8bBt68N=hG&SH+h)v(=^{a*PAavwEge%-=__m zFS{rV!{EoRY=-SF&cdK{QM50zj86?WyQtV_MIwhjUo`DL z9)eyCs_d%^QCU!{ZJY&Pw^0_Trn_05ax`7rUAxiJmu(i@UwU23rmAaA-!-x}+y|qs zmhn{^d+@b17lr?HRa(aLSoURWl(M|tNjQh{r051Latb{hMC9q3Re#s_sxm^ns7twx z!{Dp#`fZj4d)^x5`z$M#`~NXk4Q{&KC2<_wI=bhpVloPD4I~+4saO9Sb+2RrLd)z$ zpD$`KGTZoCvfD^}TAP$XlcEe+=vAZ37u{%c-yTTNU4}zGJg{%^P3)jc?AC5^+D5Rr zZpNPVhMV_#_!Xn52!B*XR??NsH{CF(;fV-XMfG2GrDR1z>wQ1ojP6=t$O33jPAhBO zHQm|TiDnekHYmuO!0$f(W>h<9@BVlBxamvXs#^A3#@)h%nFxO^Tde2Dpu4HQG+jRk zIXe)D*4c>&XBZlrt}a=1PvR)2u4%-Kx;+a^tqgR-QsjB?+J9>UY3)gUSE<^n4Yaru z27~D}dlSYmJMMITklw1kA&Kd>apIihsvsR}CPGN@W@dmX;rbj@V17~NRk0i(=DUKp zcD0x>4ql++T4p=T%9o#Z)tc=k+#)^k*lWRBD1zYYDs8K*P#V`w=#|kiq_|rjFskb@ELJ-#c{F*GmK5yFLn*~ zD;#f?{pMiG6Y1fXFpS}IE3#MJz}lgtqHIiE#jB7sOMe=?@{z^}mwdo-%1tVzYH?}K zK;2;DmNTTJm~9$P#=w0gR$U&mF>fxc_;xx<)QOu*iinUjmkEgi{QbJ~dxj1@Lq|mc zVr*)ehx?RdADO=18o7`xic2|ZF)<*BR9itHWzVI0(T!&M2=q-6K*tT^jdIw4{lCO< z{z6F~oPR4>rfWGTp*ZN1{H2m&>|8kvh!$~ukPu-iq?`jY-wJlYTuNJRI(wpvl+25i zw@Z)2U6O`gwM~*D7+X!Ar0gO*`pT}4rK^G_YP%q1lty!P0S}53CnQ=ho%}^Us7H2J zFnD!(xf#S%YlgRrjaO-l;N>oV*)087ktNAzl7D0HSEr3)kv9&|b^{;8cj~*)?E78+ zt1uhMM;J*=+`p$fSOm2mkTi^vHLgZ7l&q@kCYM)N!w_-Nj^eP z6Peqpo|m2KiLg0^L;)AHOUz#>2b3>T`VO9&K!}JEb0D4Y*mdd=d_3t2(~97JVSzG^ zQGeh(or$V!+s=+9{(F783oTgX7%eVObbW72WKm0lB!}b}QvF6<=Mn?GR-3qaCakO0cpF2;9kn!@4U{4mVZtC92ZuGb#?Y7|=*E zA%vXB=~6_yup_O72b-B$Kw9;&liQ7GYgBJ1zRfi>d+ODy16aGF9tqHK;}dMZR+%za znYdaCl=B zcNxuimuAYULSV_5Y(al@TaVDF-Csc)PZ_63_!Wu=gnXAxlwLO0}qRy>+py5(DF;D2upm5i){ z)7U&Yn4z5jHz=&ErZ00%pTG#YfV<>WCy|rv^Z)y0!(f-}qbS)RGWS_-%^vL+Jko-g zn+0EXX+ha8N1{U5G$kVi3jWwj8!4HU3@(vIBbG6ZYMuUW4f-fhhw^xNlF2>CDPnipKmkx09yA@k>6(^!l4X$Pe>w=-o;>< z*F*=x{>(UT?B(GZNn_xO$H(-|Ufl??!pqlR1vX}Y>}V$=ouw8v`WT7O%EY-LzT3om8gYkrf`to;b}wRZlSDD>MgVea~Q`-h~m7FF?| z$twRrLI@pfjniZa)zkDbHKZ0CWELFIma-Ct!EUkW2crdweIuD1gP$gC;;@sPnhJ>d zU92y1?A}Zu9=?vfchzxf>CpTVpvM+D5R;jDMKnLa>jz;r%3_i(9VeN*z@lq;C4$h>t;#sNLB6);K*PiXR8F~1 z(9F${6p&^uyMI{SPCzRu9%MN#(Ht?1g9Xn6izJwAWMUP)5a+w z@CT;H$$I0@HP`7TD8WC8afHxYDgE}(b;MIfe z#{WUqNd8RL_=~y<*mg)HiErsw(t(zZY||C5Ad^p&cbq#)4NlM}{Cg4cJmOVjk64?+0Y8@_l* zq*Kmoo`1YuyOtUj%>Yt)kt{qP6ERf-sRUSrs7Bv7f(lB^U0-XU5svu6Z@y#IHQzCB z>o{*|Ebnj`O)a&wl{FymZp6c9EzbgQQVzB+;!Nr*Qi}IO6HQM&P@D1IFFNSy;+M6= z|78uti;`dWT#9S-?}#(ylAHbR#pXcgLo340&t$ClP#_K{rY=Gt6ZDFIbO1rM=0>H4 zib0;h0tO${gGERO_9|k$m9n3mI(8jy&Tv=-yu|CJ76#WJl%C@woOo>c{7I{|B`9jtP@^BPRkjIhRq$0x5s3S4)rEHW0q&SNJFc zwIj)rZRHX)LDHl^d+09EL(&6H(H0SjR7h&K?yv6*hm<9+)1*NTyXIp^&f}YJM(N_T zNEg36OT+K0`)AMJ?$bqoV z_z@PTS>hULX~Takvpp;e<_El?RV5x@F8{j!_4(V~X8Op7RZ->1@0z5f70Vaf@-C*SRpqc${XmSu827+K@AO6=J>(b+ZJUKM}Io#0MtMO!%?c$95RBim@y z?~!KCdkh78BjfFl=sIma(TprH@?)CjqNcT4T5g0BbQH{&oHpVWT&tD0E1g>et{e1# z=4>`eeO9cK+y|xmqVr_d~Zp#F1O^f8-2Nq=}O2ceWq;Gub zqA$$sS-F2k*zu&iyrWRTo0^l>`EKS9&Vr}&Ex6L?;na{2qcs8{9yrswR7&IY0j>3i zU%*B+^C*bfUhv5SmTo%;a72(mRSn}VC>7!eLcs=9cWOn*5PwX!tuS~nt&(oAjz$)q zvd8G$yxJyj80H7=we0Mp0>c>`!X;AGq6c&f<=THUEj>1}6*L@C?9&EU2>&il#^A1R zIsPp^s7=RO40#oD4l^sgfb)2!&5Ijx=79;u6#H%Rnk=Uc2){Pr$hARu?Zk<6Z9rmJY};!Q?~+jwypEf4PAXfEo(phL1efxs!-`pEu-K}%=vp~O>+1wn=sf)WigwTC>5 zx7L561Ej#+D2}fR>)4@{wz;Jq0<=uM^IL*lc|~Wqa5TE3k?|-#4WPF79In-x4;{qZ z($wj&Ec#ZXYG+Ruurl%!DsqeH-XFo68^Ha*IWXdJXu;l1Sw+0!F3`3*NhLgVQJ6Rl zM-X!6V-90BIIVO?q1)`|h(`gk2}f6a4#IyJD4=B@tN-9-VvMXRq0Ru5;Gg6O&kT|V zuFywIyZT7KBi>QqAR4xWP(C2v7HNW!O}ALFyc#Iq$Wyao)(!v^F6h|QF1j;#1}8mI zf!EmfgL{u69A!ZiKqD>T1XitX zhl^eS{9D=^(l8tXkAXGVbogEYjzNFILOPRD`{aO_7+koq5z^49kPrlS2#yPy7!J%fP`?2YwPUIiXF?^2Fkirm}(aD8m9r1v1V)` zumL!*X?&OEJ1pN`P~DTY2>S#S9BAFfHBHi2ZB#tqySwSTenzF{hUy)Y%E5mh)g5H0 zCJ-H=j*FgJiojAnJtEyf&em6_M*QIfY95qMGs=G+Bv|}qiVKcOy(^&L`NV;k9D$n% zD0Zw(wDV5LwiD7L5!PP=#erLF=ZnxjRA&^lvEf58G7S@2`eKX%P;MTH|FBrQ(3LU^ z;kWXnAe>LBE|ACP0m=vx!wY|u85{CNR;}}VzgXoUn^q(XMW>ueUH9zRPN$Rp6dae+ z&&RY(@30|eu@)gi%)I}zaUhkwxZS6tLDc@EY{NoLItZa+u~OpY@=A`1=k%3Ub}|;U zr~)5=zEwC9s8+n3`{N3F-{XqS#T9>G5t@Facn2U#`rfZ;2>v&FLk53)sK$=(Nf?OT4TFmM zMVrd+x2c>*PTEi5X=>MC@Y*+cP|&y(_L~F8_0ZN4b`w5SZf53>57PEx&@1c~2y(Ru zv3cM1`04RgJ3>RqAoWvU_u&ww%NNja1 zIZyR=Q@ugiDUt3;>G0tNjg7tNRU(kFq)Y!jSQg3Q9E2Qmp~jU-V6SpoK2Ufha@q~Z zL@?E1iLS$rqwAQF|2(}i)Disl&O?uQqwET0efvzwM<4OtCp;}yS`ICjjHPzWkyEP= zql9iK`s;ag^G&u+vkcr-RqIXkS3VPZbN}pLue=FWlkzAi0W+6SsR1f~Sy_|YxDkH$ zuh1h^Woda++B|GcyyGLawm0@9sg&&ph=e4pc_;+w@#NR1FYwTCTuD`4Mg-7kG`hdO zF#hVa@>j2(`B%SxzI*o5%bmXp;%yYC;p*1d+kWl_=6YRIiK4O_(Yg1O*=$3c>wb!;YO>KW(Z=%5W{&7~q^Q`35gVr^F6-}*w zxu#Pr%GE{61+nvMu`eR_FD!Q!P2~=&IT05esLQ2oRDR|W ze6NGV`(_Glc}Ca8rfW7DHAw`f~r;d zU=6}Bfnlow87MDOvFe(3AT9UqT#egK>jacA5Zi@N0l`QeN@E#bL+HGYX`?YGkuBT?i}ChRwEW<} z#i0||njEo0RQ4(WzaJcTAxK>X*B34>#X&kmHy(ke@RIn6`oQ1rehrbd;X&RSAV%QO zsHrXxZ0imkB8@{rG>8bGZndx>35lQc4+s%Ee+O58;_EoVLT{FEh32Wz5rO?ZV-dcp z-qKe9fq-W)>I3IwmxwOd6JbT8p}&*0^S%>uK)jXD%OHsCzhi%gr7<$_Vay6(TWdSn zyeK$v#Ly%GAWZh&88Vt`Aqgbj!#Yho@X9a^;Ob-WDj_j=mr7u;=L4)2O0oCeg8)y! z+burKDvf3Jj-ojgaLzWXc-T%TuoZuFp%YFwiEEcPSO>k3J_b!!ZUv{!;t{ z!QSLTd~F}lRvPRfp-Zp?l4%TIV1MGg&atI`=DD`%mlCifBH%?p^hb*^5JT_gP`i`k zdG?6?`N@FIGw8B(oQ`PH<7V6*poR-Gau2-QN>eO3={iSwA9(Nk%OVnnv%_69^W6{x z{p=_H?fc&?{02+`c}Sf!uLA7MiPDm>ygIQbq@^9i?Me2QT{l9*JKhpMaSK>|)te`O z0!GP@j3K6?SRZfRz7n~j{oZ8*UOy0uA3!mixr|6T5s3xOz^QJ(ce=J_Tw+GQs)}xl z-)}+5ltUzJ04oxf$Obq%IOAT$3Pwp@Sdq z=MT{256kz0>(nq?(lEMujI{(#o=|it8i5>Kw4ibx2dz0ZE!Ac?Qcy2J8nSla5qKXj zI+q)irORH>Qxbx36Co%HQ!h!N*5JAS&6;19kk#sc^@gJy#DPxd=b9@J9LkN!3jI*% zLNzfp6wu8L!RWd+?tqq0F!XaTIU$2e`kzo0K^p9s>?_tt+C@>A zu( z6t1YDz$FY=rWP`4{K%rFR3Z>?HPv!PIJVF|QRM?hde;mAYUubU;&IjQ zUJW|vxUCVP_?4l%A08S8O-hNRT~$*l1I?NdGJyhp!(8lSZ;f&l&9#RtMW^51ynS=G zhA#4E4N>~;&HHyhix=&G=D`oq4E;i!xPAfZJy&FxDo5pgWz0Lc;rF+zRtV=%LHLVr z5yZv4M@$O)Y%mlqZ5JJTvtz|S8O0n{{7ec`Ujo>#YF91rh7xCV6)ON8_MSj7wK zaw*Lau_7q%Zl#RkbyO(yVJyJXVa(G$*iMs6!W!WA>yoTPH}9a#1;zMMM%_c-H4rCt z;TjTUn|kPM@}@6;i$_Jvf7570(r6%1qFCy4%?n&$;WXr-&Rj~Fm&Z9-0#ry-mOyiN z!*XJM_n1^HZF#LzQo45{hx$Q>f#DDIO@#$^zL4inXC6!+WpGR{T3p^zzlL+F_ycN4 zsRUB+e5l2HE^WezkVxrzN#Qnq62p@l{w)lGrCiL8P?VT|3ubQASGtqZD9whqwuHN~ zH1htw4uSyD&C;g`dbnn#3o~q|o|hL7ttn0;S1Wuu-gK?z6oHK2)I#-ek=&Z14?=kB zpY|H_Z^kjy)>sRujtciU9UlopjL4JsxG>HHzjLZ|R4Q&^Ki~!B5JDvwO-+D76ub!{ zdDOUuji$qY;l&F(l_giw6$u9p_}qC0%+%JgN#xC$JcaG-o>~iCjh#F+qNnk-O~59O zHv<=O)VesJbIY?~b8${v(u2;EFMSg05d1@=h$6%w98<^&TnXP(e5%SK_Z0M~g+o%O zS}wC7nhx)86gAtX8yxA42QG;0 zy~>oOu^M}LUIH{;AX#W0VUnRJk|o}4eS%JtpY*S}A2r!m*u(vL^pq(WBxGCz4IF^p zWYTo#-Fa5z<<>_C#p@lpJm;iimc_IHX^`L9aG?-X*nxD+e`z`i;7fUzfEVH8HzrwC zZ^V6nN-Yb=zIF*cj8a$9lkG{>NW+c@tFy;;Tmd`-tNJACR5apg_(p^=g{Q}Vx?s)l z+MLd$wRyeh0~ZmI!j1oxGZqIp zcTtiOu*XAZhps|DdJS3-8S*@;!N=s(lpGd+{78T#Q7z!403k_Qd>}BkDMx}xYz7P1 z@aFs}51o#^i-0irzdQ**-g){(U=!|R{!ba7I7wVMY?u2Asl1|OA}$OVAqhS#qIY5A zO?QN;0$OOq_@+`{L3{Y$OuYFdm;zBbZR3SM$5hlF#t6v%U4Qw>p8Kxgy&{JN2Lt;d z4V0Mv=KpO7qhRX?!Dnr-AFc=|nun-`ri$jv9Z8_Z1gw%7A=70u@%?e@RU{Ra?dcRx>EVj^^8J$p-m9=K( z%LU=p{Z)AN&u5{2U*A6a>3Wk~MbT=Prt#J7{%R9nZNlv;T&GvJ<<+NP=<=qwgKeAs z#bOz+vmkFuYNWxjYYS73oqwV3I;rZ(_LqEazAuq zF<|oNINp@DFFG?A}4b$hqlfKVU*#nt!Vp26ztos?qy&&7@2UF_f}~bK7TLLwDq*8f2;GN zGS;8^!PNbVPCPyNPuJVfe{Z_UZk6s5xkEu%0DgMaCpq+xKqh|?f1hPLa4 zV0GZ#SX3tOr1PpMYzblXwA^DMKic#cCrDZ_&Vnj0zEEq!&yrU{{kn+Kz;yO=7{&$5 zSm>qckCtVJ37x%fJAZi{9-_0##Hu}#a+PA_PNIbvfzDbHz}>Ljg0UhRcPL;_N0 zX60Ym{LWT(poz&QC@`}!&AoX^nL zwqoAB5NuPbM3!?WJ({MJjdro@zKbqk1LWVwoHyVrFV{(WsgB?%4XIpXWctG)*9C`G z$6KBF-o1u!mVZE$uC|SCq#{B~5DXlLmNetxLM{&Xc=3=7jaH8*C<9I5N`$}N1=F+X zIF142806*{-!CF8WGlUM7}PC{#x1+R$-CS(wz=0WtCr7T-t@BxsYwU5XSo}#8`i~Vlw?iJ97GV7*`bX1P$MeCT;2#KG zI?zY&M7W|ZC5MVg=Q{>WYO@|lbAmx#iMF0Odv7`?dxG&?vA;jq{UD@%#7bXnFV>5( zzb-BEE0Fho!A}gtxR<4e)6o|22q))oejn}R>wg$bK!wuxdX(XT^tu(gzKSw4aDXZX z3W~nkV2xZplX_6cc?mZ(-5TR6q5wklvpLSy}DfBF5b(+Z3}|d+>t}dE4RSEX&0+ zJbyF=9c+cB$V;OmbYS|zopv55eFsfy4L)`nO2IJ<9w0}~UxZ$yz#b>|e8P0kLj9Bv z-FL=Y*63n6or_g1KYPD8csn>B;V_dddNAtL#K~j4F=p1(_D;@I>_%GQ#lC6ig{kOh z#Ecd=5RE`L3pdY6fZ9_i^c}DAEBrlgpML~VNZ)nv=K6yWexdv3-5|X*rF0@q&moM^ z4{cRStK#VC9s#zTW=*#^w4FpFU|<)GZ=HXkS2V&@fWciLIVTWgEYLU=82Btet|_XK z6z56R@ODg6i8vBo^~e_?+P-URX*K%b#L;1OoPUj1tI(Vvk|vKGYZgsGz68!Kfqz0_ zS*x;WLoP>#Zx5X@GV8`xN_^W_0`O=PaNpj%Wz3$znp~3r+<3FWscRepIw*Poii>}^ zLmJ#RjiHy@Y}JMVZX~BITb#Xb+)A7TSUI&ah?QUzaC8Jfx^4Y zSVu6j<3$ev7tk3`m9m*+>7@q)M}KX5KpwqHmXLby$6g*e(}O7;w=XRr<4ML4z*-_jpR(WAg3Z}<-8iV;UHvqnQxE3~|*le-daP}7e#Vpua@C2}b{8X8b)uWVW4 z&=Mp@!_Vh*)8Ry^&%{A+*p9<=x|$=08G*Zecz=@XZwZ_^oIuM*wQWq!K6ZF~aP1I_n169K%{d~tl;Odc#@`KNxvq;n5=lPYf^+B~g`DJ!@@VIM zKjMYhi>+fEtA@+!Wo&G4%C?e=ms5qu$SC0l#m0?vrwdg&E|TUE7n@w{O&Q`~boLzu zHHysNX3QGMv@A37XE{TKAFp_*^R(gIjMZR|e8Am~lUXlgg&E*IPk%iJ79l%Lf6B zIDD>4-L#z%8hIMKpMTAQfYyyxNM6V*x^m&p3B7Oykz*_G=*2MEZLEe=*XKOp5z61k6%nHGCC zL9`2n@L1!BCWV|0E`n%)4H(4ffvDrV0x-G)1Pw{tMXfjtH)JMp7>C057cZ#`LQPAV z4;%-Q>FFL9FZebcr7yDz+6m}qxZd%Ii?HfsQl=nknmiW*KT-DhWhj`+;Drt>a~h|d zpLI1$1u1?&ywYjBt9k|LUHp7CCy6;E`_J2(x3>#e(W}J{%K!HLyO%1h?S-@uKxR_~bc3Kw zdAMxudQ zFU8j{B!bQ1CykJLX(_qaVX67fmNGoW$UD`TM=@ilS(?K1vh3_-G5(y5zK~wyoH{}e zQ$kXeu76w_Dvtlj-zjVNJ0+R@ox=Z6y!`maAm}Uq%)b%|ceV(3Ix$=;e>*_w$GaXU z)JFlq!1v!(wm+~0KsZ;H(7Ajm5WMO-{kVX}UHq9K4*4;&P0qUVZgxZq=uI5hrx^?x4>DSN` zs#Qoji{tj^5dIG|=MsEWk;U-budXDhRUNp4@P$hfX!@3e?wy=8P9FUjp`nv}oweFh zV1yRGtg?V|uB=dBjh%NsyP2~J$5FCcLpPVnc9lgtxxxB^=jYpJ{|A&ITf_=wZe(+G za+CQe43joM69Y0hG?SqtDSwSwOOx9;4!+N?@KLUc9X%}D%4I8)bSBwKGF#o=y(Dvx zCEDVSEP5#^9nY`d4*>P*s8e%k6Cee?K70Vt{^Gpw7r*`DyWd|Azr1|6ixxq!PU1LR z98QZ}xY+sowZDlMhkWtHvnp#URoCm~D)M9Ry;+8__o(Raw`CA}%6~35zV~9e3Zuju zsVmZKy{1soxR|=3R_vwuHyV~!naZW_Wb7p^-8j`0Ca*ZYES~(ONi+_tSN!=c692b8XMKm`oeorqN2Ph+&$7SGqMg;86niOl#imqRm zWm`8EvsY*Lg|i;_>sZCxo%jCr{oA|G4>D%FaynDe<+`S0v8qwL^3~kZOLNv4jgP!X zjdO1s5i*>nu3FR9BImaXyT}Lxu;IPcC%VCtvI^tq{6>RF2!F?xi?qs1TsXJZ9) zklyOEZWvq;?y57q2q(;b0R?VN8vTk$ct}sGxk>x0AAkF9_h<&9gvb3CE-Hdm*VWuT z(T!9MEn^qS9Y?#+F&L?)48|HEDma|OFm!aT^xNT!ZFFbKmW}-OTt*|TO0$Odwi7>O zRwJRl)s4E;G7R6&xJTY!>KD0?DQLcU|Cqa{FWw)|v)e#4aoB^Cb{z*GRo0%`Do-ys zG2SHe_J{`v1LtSW9czI?N5bMUORx_exDw-eiPxt645fs}!Vz z-S6O+Dk~~O9K>v}gOgixaeeFpXaq^@*I&bMyY)G`B{4y?R?nHx6_`XiYkjVquQRbg zWp(|hj04??DwB}Mt;;OXuBqi1xZ5xo==WlBWq&Ja_Xk3PyM9{fK6H)@_2>IHqrt#V zXYe;1hps6w?|r%{()CnF6ZP&5f%alAZg960=G57B3(;aFA&^+4jkG>t>E-HI@&bVf zbPqjf!>3LR1s@ePdLIdck&mDwGi~X{1@{u5r;%cB~h>9Kz(R4wa2FSTf-$f}wF$tExI=5vCf4wO|M$ z>~4j2p>1wgmxDk_kYU$I_=e{o(-YVRAy<`pl!@`7Lrs3U*?9Lol|Xk`B89N}D$;}7 z6t#&b@0VKyhmI$q)E9SHT~OXgiXfIxZGTycjv%Mfqb@bmE;Qn4)FNok?BHJguT@N? z(caNG?(SdKAh@SxEqb|1=s(=u-H8gJ8$4qf84<;IgbEHMVn*;oC_pULbcL-|?#rvn zMxnVgV5Ij+_B01~bCSdj?)rC_(%*Xu=V$1X8()e)q#4vZKpaA24DZ_S0PH*V(SLMK zBBz-(wHqV>$=}Z>PtX@ySxzXBYLR!WpC?TU#jA3Z-0%W7b0>!6zZJJe|3|FUkkMyZy`(F#bL<1`@4gDMgaRv@O%C6+V#;~{dvR;32hl~wT!q!IMuUG+#!M^v`7tJA<4CF%w z8{_Fm(4sMJ^E1nqwfYF3Rexc)IR7NqTm#ciZ=9c4dKp8sX3j%Y?#7C$~eD8JJ z0MiXW#V{tr%x;ETg#)RzT zh5-e5ykpd#*vU1OA1M1H$>ne`I{*c0IZh;UyE(d0bR$(dgl)CMXHd*xPkobW}#&eJ~=SNNZ`N^2sD&Cq1LKFL?xxV(81^xlZDckYW%Zw0b_W z2)bTTUfsXN;~{$?VSn_R2$PMx`MHB?7hJe-lJg=OG^_wUTx1}mBPDq=Dp^op|Bhl4 zu6`jlteRy%;(lIBn0Rf)sOm(yXx1+`{*#P>DKByvImYy97YRe!MN*e`QTsJMLvKa2}ZjhNhpv{fke|bn6?&y zcG2H9DP$`_60)!8jk%kj0Oa;YmCV#jD9Fq zvd#Io&S;9*@1`h~otC6D(htVQT7p+!(hYK&3{z@c4M*%ccTgrgsy~)W?CZKqUN5^&kU$@ejA~)GV*(FQxIIEoUN`dv3m|( z6L0p{?Wp5oFq_vNLL*}ANeqErlWSw256+bax-DgV3LI}%b#Qzvc3TM&d-t!!4p^7 zM(~C_`p?BSaY35&Lm5ScymhtQ9am3w;Si;Se3Vj92t-2bPjAFJf|K`14A`o(TDb#0{Im1m$X)1$Gj zDn&g<#H0LZkaJ7FRIf{&^I^N95A^t^AaymOBuefkbSwfz_ciaxOls)mmJKYbxS65@3>3>1OC|LVJ zuvkS{{B|#kk0)d94!`^#0<%Kv3T19&b98cLVQmU!Ze(v_Y6>+|(707!wB z^N=UZJw1JX-SF=YcmCb?&wTy<>EYQo-)*D2AXp`F9Ns8 z(!&179dT;vyw7C0@1<2fAqg~tEz4lNTCX?q{7+#RJsb@dB^z8@f}pNRJG%(Hx{}d) ze=lF#5!FfTbtXGjHsi-&ysi5xuS~16pBDk{ZDp>jW$;mNV7|~-hKuPtWrkVOc6hNK zXS<``1G3sZpPqGAsEdiZnP+wUqzyRSH;tUN3B87eedvp{tDCbfXe>*H7`BNau?aLeUOK%&qoO=QZ9bAk8a0`36QJQYG z*!m>3^#x4AS}U8rHJtmt!Ho10Tn6C=+h^F|iXHzwZpBw60w zXN5@{=_u!IVLNMDuq%o}s6yM>>L4qaTho`Qi8Y2*1$3j8;q}sK&k%FjN(U-re{{S) z8DXZ|1(nDx4bZLOHulJ7mXGHpePziLF&bu&J1JmHg*SI%idKD?#`hjRU|Bd& zNVkSt?ctnEW`!ZP=t(*>P}WRN7>sP8;ZJ_-H)(DiX&5qlqIVB@xx-C?PE(iZp)$h_ zwt{Nz;U22Y@H!ZjDQC5XUnrF9e|*)_t}&%)aeY9WcU$k>`#;M()Yrhwn8F>2h0V|! zQCFA&Z`gS(Dl9nmWm-wo8DQP8f6J|Nbp`$1cFw&(5Fob&66!5-_H}`e^fDI%Tr2w;VWi!^Gg!jz2gu?yal`p4w8c85{e^$SVbHZT`w3`aAt$%8x;(@E>xrj^ zVoT-@mH0esaOzRo7g!mFY^v+Ad4V&yN<&IMv)5*h(;Z(u^eWyl97~sN#N|^4{ z%Wy0}C=#r}d#@rL1^g^Cr!Ivfy95;zLv`Ah;gZQD0`WK2#k z6jjFvTh;&rue}2uf1a%3B$C6!RkR8(Hoyo2-}k-Ob`STv2zKCdH=wuI=PE6od%7oO zCnbQo{hhU|?Urw9oqcnDY-}#=e?TMsD}A1^|107~N3`2qScKSKd|`W=iMPZQ8={Pl zen}VEs;~Q2kB|qo@MBv9e0s%`1_x5LVlOSVe|SRZu{`Xzf7C0cs4hk~rJ6-E>!5$Y z1q3!Wq(Uu#M}|HbDFV__sN$1kN!oR3_A^;Iae_veK3WX7_gJtq!05iI%Zqu^=2P7Q zzXk5B+>#4~KuDF7*u_r++`-^xL!h@j)yvy1xDhQ*gy{@_cM5+KP+#Tj&Z#{xkC%)n z2y;RQ(hyv@e_AZpFz<(>)x)ydxm~dUtWQsPYMLFTC(z&M!MRnC(Wvgu$SNN+IgAEv zL6aa$eox3@MFXLi-^)ar=MYWHp#j|sMMB>xl5Bb;k+IHU3Ra0cp<{va(kXdLfGuq& zUUfw-#UHMu;!cH>&WJfs8p)%uvkIm3U+ybvbk3N(f->=^<-xq>Fikdg+$Wll;d z;rymugv9j5p8Y%oSyM!XECd52E~CZmiUty-eWenw{(kUh*SGMZ8y5vZ$Y3)`l!v%t zY9Vxye>jxeN2fPn)HVbzC7qCz^xQgf%hXn_+(mwI9){|Zquu0vtd<+^Z6y<(*d|(f zgM-d+dR8~P6_oKtNFvg`;do9{4w3*B0D@GyxOjWGP zM587X6^ur`r<YUspw}{)#GYnZb>oX!TZiC*otaefma)zy~#E476FX{Z?LOTH9|sGO7)=?F}HL0{v1VaGCz<^hbgNDDd*Mz?~t ze7r-?S*C@IkRVjzml}ApsbT_GGe4SdT#>N>{Z;c7911pU?Q8j!|QxwoL2;IoTqZOZ!8MvlsHc!{WbB}+7dKM*9H#Wh(8O6qu~;PGic-3^l~o$;_{n|I zL0}ssd9V7erovz@i$J6BU`x;z=sT4Pe-Qd@PeER0MZdPK(rJXx1Vra_4Hm2*yGljh@6fjm}LoIT=ym(ppX@U`ew%ndEy3 zxfh6$5VfX}z%wb=dGo3U4ZMQss;@n9m)$fBOz!%U6-Wf~zjf z?WB(L4}f?5jS^E$M*KC8PE`gWDB~Jw91jWa{w)0|phb677IaQjFF4j*FN-Bdb@icm zBKSC-3ZAd~LexU%j8a@Bf6qarYDg_SqOfeM0U;W8%xH0-z<2ce=!`1MJLMxPOU4G4 zI%fUz20=(Wf((GH^d<&f$hi%jW5RR!SfKf|4Uwjo{Mul%3@R0(7 z^hPfkPk&X=CZyb5e;UjLki178{6AKi*0VLH4}D1`trrf%ncLMOf1db0J^hZdkzm1S zv!-l7G1g|x-*cH8Qf8WaV{B0xD2Irz!+mIQhOe9Ff834#>zLDAjWsWSuS?Rq{X}W>caBC3361mV?vB!@#u!;S zHEcRViDKKp^nj@tfA~PXxdKBoQt+iM`@YIkSM{eUDQ>{uXno@*41FX2TGqjOTC||< zq?$jS*DA+4V0;-Vb*^ws>xQ699b0MHL=Qz~;r_Q$|Dx(l1DX8Y#I|;}hA|Wb8^KP9_8~F)}ol(Q5%Ie^yP8<2DSv&#&-N2G&`B z#&Iu2TXb6VP!wo@J?!?N$Vx1%EoCKn)AZMu6lIU6$e?>NMNy>0_eeTVE=ivJ@|4H# zkH@F?&ux_y#jb0bGC7`;woKamu*>TvIrhm%Cexx}e_yS1PP#NJ>jN9ohTTtA^|}g@;ms#0m>uQ|Odg;_f)7j`9j*|h`e7rm5c4=1S9sAvANrt@d zw^ukBKakWbC#>``{plvquk{q#sOgMsv9XI$g=!UBl~~`Ug>|I=sC>XJ6A20-wfcCXBUG zcv@_@e}g9w7;DB+T1We5YbM%4Qb9%w7Qk2o2-(k8M(djb8f<}&qd-NzeR%E# zJj;I78I*uZftWzOwrtr?08M}eZTR&H*<*%_A%q6i65@QP^~%Grf+Q(HqOs(C%fWEq zo;~8M=93ccQ(3k^{jyo&06!1yLi^zD0aLTOe=ONCtr}*z(ggJ0SwRzsjzR^*;o;fhT{M$54eJUjzy#e`KPp_ ze~V{joqvb4Y?%bC%@hcL;U%~NsP0gBP2Dgz0b;Z@nSLIzjBx>BfMdcNsD(F+a7h^z z)^sJtbp@3|P($5d2hJvjhQq*ZM5jb>up5pal;8iD~HHJ>rU&e`3%|;IXpGG1_b?K~aq5GlOyCk~&N zbghZp5`E&I5u8OksCbeXX+P5{7C%VDC~ohxT*n-=Cl#9pbzm6^=3#{ZI2$!ZPeo#$ktFv3AtFTL&FBE$A)B zaIko36;KJAZt-S0EF-S$4lHD?>*8c=s3F29_{I$nmkK>`V{FxBz#$WC_b*vNn~F@f zzaF6Vi#tt|(?|8vK5+4?RO2L7e`woa`DKR8g4@v6DW~xcj|MC7n*)jP2(0ihJLIn zDeE6eh&-MP!SXOoOOPZ1B{P!b;bf19R zmIY|ue#KHLDf6TT>y#*{U@@3Y>9HGoH$`T|$cx-aRKspBdRfB?UIw+CN&7u=B|+QO zlBiW9`hF&~TOhRKo{Yb%jY5-HS`wf2b*^s*&$eGWIe9DGD)aT1YRXc0zdqiQjra=5uTLedGP`+=4i z=|xex9ziihV~96l>ZdJ$kuY-2kCT{~eSdFS$WRJqG(ppdeP?W_STC=-^%p~GDI2CS zFDCa$H=ZjgtxowYH*iG{VPBoBqj1=CM^(`$A`|{rvsCb7NCnz#FHd62Bb32>gr>jS53=ROFas!ew-@bxan| z3=0cQhcJ!Pc*wMsI~t&WYz4%urqRKMSv7Q~Uz6O}YFwQ{Dvtk<0Cm2qwsJUi^;7~Z zCaYSyYGKr|GlYULI*!5!JxJOAKz|eDM+#ZpkFBJE)SYQ3E;zj#P37v!Gxasj`3zui zWKmr@(qO9%e%TZ}<98hFFEr=S*BT0jP*_`=i11A+x?QOLd5&>FJK(6Vl+=}^fvp8! ztEoFMVh2t~-=d!DrOBa*ExlGIU*fH0tj`wZ*cC!xbHCRjPt)VjwPFw}#(#9l_0F$O zAhs|4AY1xgl`koL@K~3_GC@BFKxENEcVjUdCaRNwceZ%cuGiOVL0SJTcFfjJfzn z+)Gk#f0!O@UG8>`xL6#_=D>psT4hXUTjq?<(iAAyG{roK=g@Bt9D)8>^_{s8v$s9a zpb=S!?D7>LsD)Bz+aG|QlcM&DUkd^bTrUY<%C%V_)U1}-PO3omMqb&c9`?GOy9ywT zx(?h1lcr724cMN@OMho`2a9U8CzZnA^H9$FDd4dwE(+(Ho(4vK8X<{j0Qd$`0#>%S zCYR4O5QZT)2KEAReEwno7wQ|fs;lSyIsuQZ!{%@E;X&7nf2uNH<*6) zQ5yM8>AU-)rus$x+6q;+GV1(%llK$e6!;>p?RC-NdhFr>et!l1)E6z<>wR;+(qD17 zFWm7>l*F#Xu=`x&8b*+#16FW={$zF?K0~IP4)Pn0yK6>K*U$s>l+fj}af2~BMtAKr zo~eq%S(w1!EGviEO>@DHb3rBr@k@8~>-#=K$PY70L)Bl)!zbv8BwYX&A|}jfPc#FO zsWiruIjSj9r$$Lb-&Xzm3=;I6L|2eHzE%HI)yawKCay{AA{AGlgHpUOphc18`ToM zq@_E6Ov|lihNi%F+r)QG+BRSQ23jmGv}qPb@VVnfSbvn<;Rvl{QMtUV@{$LC#w#_4 zZXu2Qs&ui61@9e!vD-(A;D>dd9Rv6L>kb>wBF}eYD9d(OXY(veb&2KgcnJ!$#rNUP zsaf%iuq=3chmGY|CE1F!^*ufwKYQMXdt&kzC`ysA>Qi(iTYs8htSB<;Xyz9|dc;MT zlrh9h6n~bS&2szo@~M)ASq4bO^Dr(8S_XiUE*7omnv{``pD*9I0{1paxrZ-}(t&+< zaG*bXnz{l5exn{(J$tLmg6X;);4K0ALX{gNd#M^zJo6hGbXy-I&b>o!$e3LpCYKgr znPmx5k{m2rY?3gJO9xMDc1pssV4EF2DbuQ3n}01zk~fn3Ji|q0srxSFVV0C%wZLs= zq5%%;enbUd-wAc3y}x5OmNR=vxtAqz@r=oN@ZC4syU4=yMb_rl+J2cc_xyH6;b(7G zz3)vdeot4`yUua#Mn7F~-4npn5H17Wwy~>dfYeVbTE=Mh99SSUQhqliZbiV5SVi7jhm_GGKfVYN_6LN>7eNU{=BwzUG~9B1!|K3g6)CcB zLyEU|063oz53g<4p14-CmyCJGOI?BcU&eMzcR%fI{jkuNAaFEFS}*nd&eA6kDzlzdp1FC+Qjx_}Rn1Ko>TarT#S z3J;i@g$Lfqwg1-w7U6?C+)U}AnCR3PW6y-a>bh|9BJ0 z?{`mc-hSMrt2o{id7iAEj;npK$@5~hi}sr+%U4g;>N$A74%6K>_~HEz@7GxreE$jM zJZSarf4yn7n$|SE?PY`N7Cts}qb{a&zb479(d#7lr@_i%8yqaT zf4tbio|mh2rd!7W*jv^0ZM{Xyg}bZ>KIxLZfHM0!FvgIIC@LA9-+ zF9M;|5U>~{rRvDQ(5LZGbODP7BISzVf6{cdY<<9R>1AAk$7>2b_m;yIS~q^Xjt)3M zLVzu%pCT@R85SaQ3)#d!5c*(eh<-3q$z2r~;?!{a0!e8r3!e8*Nb_CrbBp0j6TV_X z+V(R`rD_`6VH+~(s$`R6YcJe_Xe)Kq6BMA#%Fy?aZGx5zM%e?ylzHLOcMR!Be+jji zK~LvaYoC*iMZ0`K+tD&fR^340$Rr(o(W2H{XC29TMI+SoeS9<#~M@!*2;lA2)>B?0WzxWza*+V(=$AW&}xh{mHw*LyQz z8$uNNFT+gBt-BSqE$=-R-Km zkHDIyHQ^H4V=3_wgX_bIf3H36v&1Y#VqnCVB}9=p>lN6v)B07xlD;Nbex{Pos7fp# ztO!OCmcQU1stuqPu%sSH4Nrn8k76k=f}i@bMlJ#CvKeHftZFES)r|#@SDHn8)vbqD zlsSE9qH&MIWkNBoX8=Rt5<&u@CDBux(qLgsia=tMnE>*T)^rdje+ol%;tx{|RA;EX zLyxzJ_H;_g=2CRwk2RGjqokHEqD*NhK(MMF93h327!2!1irGbdCVxmju~S+i9843UHO?{z-sl6pGmkH(u`O_e^^g$12r#RDw(wDS(l$3x4A%Kiwh*S)Cu?@C{0%rkfrLeK2j-{qK#P` z;%>H|BPSkbl)5e-c7qUX;FQo(~t@I<{K@rl@Om zu&oaa=o)J!mv~7c867joaFvJJi!9A+gM_Dk937}9Et}l^P}~hTGH9}uYjlEOH~nZt z^0p#uSAI3~is=K84BS7~;3TLXi)lQR6ydg*8CZjaAryhLb?-4aMbM}KyXht$VNtEQ z8?Nxce`P_t8=lL3C2Ix2A!|WHe%;E5X*AsXTkm86j9Nf-DtQZ}w6tvt3>|J(963v& z0v;z9rTe?uno^D&Oe3RYymWVGJX|&_v(UlxYLC9FdjIf3+sWkt1)t)!Be)k(n4T@*_z>o?n@-0)~LtY0l3dfg>JQ^q%4>Rc!LI2+Crqq8- z_VK`ClNYJK8pQJp#B&%&Q51XcbP%ti?VBV*zE~h~BjR!u_^zTS7XjLab ze@1T=bjzq~fRZI+-l@mbA;QZ87bwH`Qs{C0!TBdVlxJ^u*wOj5QwM;k`VL^J^XmjY z+~r%4_dBwDl;SP$%x_tQy*RN|m*qF4>C+V^1AI3GKVL^DG>asos1TqI}emRk+nE9vEBG2Q;e-Q80Zl`;ZrA&!Eq-DQO7<*snu8?C{dY*FKAr(qR60hPnOu)*U3|y zZOzFvkcjUd;oDE+oo3FD@u6Yh(l`iQ!4Xi?2=~F(eaqLh84F1!Y+myy-vr6+f9mR; zY!H75inc-{p_j<-3$)9}w^Y~2{T6eU+ z$fi2-l+O*n^}u!Oq)~0i%PDnjR@F%sr%3h`2KN%}KC<;aKS2-N@sk&!0MKgrzcDbv zi}s`-zPpOb+x^|c^nNJU>|`bDCf5_ZzD=(uGc-=3c(Vho!!+L%+k~|*W^+C~z4<@F zb;s9}sCOm=GdVRhlVJoXf5lo|lccz@eeYkvBOS4D^?^XL<2vGc!(Oi=?CbH&+w49t zRdf}071RQ?K=F!PaRk7$0vFN)8w)*7w&mtaisnSBq zDA#!^G9B&C4?jha`Yy7f4=j~NtLSq?&F}30sXr}D!8rA?)I{{hf1~d33IQq7LJ6Ir ziACq&o$Hio!}TW8}we><9R zw0>7eiy+e-p!lzcACxfZZze8 z2t{59Xs>{L@1wba7pV|jD6Fbeqm(d_d z+t}hEGQB6W$TUx~v0}1Va?&jjowg86x!9*e<~-#+d}1W*9wh(=kn>gO6gd_FJb+G} z+OxEYP67QgQvjVj)$#>&W(#!kZFGXqq+X))4^=r_FKgtD8U_l!3y+tx!DNE}7V;!C z)Ix}f1jl!fe@P}d2Z$JKp^eayl&Mr1_(f=$X1V5b3tTC3l`^!NKu)m~CklE`v&~H& z0dqq#3r$lcw`(ThqO)>y^R$I|!o@Bf?56qdp^hAqE1D$(KK0k(PJ-qnA{TJSahUGF zF2fQ6hbK2W&6)mpU?;X=hxzo16#wEVuj(8#B396Oe+Y^3|1VWn4t0COisLTkO}ty3 zEi%+>r&ofLY>!#(zt_>^YCu3S#-xHvEtce&Xc)iUr$Q|iJl8^kIsk`m5{bof_t zD>RllfAm!a(NpmPw<<#*%KsgZ%WaUGRB5pU`TKAG`hS1Ap;oV8px=^OofQHj%mALD z2!7#;%PCB8h72Z`TH1zF^zh!>io@u8F#HG;83UJhE8h@JmlBx44 zdKb-(Jj|a87R$LNlC#;eG>90yAf%?M5V?rDe=2%-T7y7IoZc+TQqA(OO#QS0Js^Li zu*uXSxXx}JrA8s^uMgg{8eTU=k&~cA=(Yam#{0kg`QYR@=slRxGQ%wPn`yFH=3|1) zV{;i;rLa+Fp5R>HCWI@kSJ?5!OD5|%Qmk zfAbML3IW9ASVpik*E;9h*x{(xB)Cx80PuAY5~q(@ss&uPk>f>jaGA{2R{}?T0XRO0 zaxAh$j)*^QVd@T`KoEj2)^8t^LdBOY9VoK!P>CNH%SS=B&;$G(@3&RtLdHLCsF+a5 z0o5f2Nsc$!U$)MW+vUBJBgR3?jUufofBebubMLyx1gg}OVhlIwgZJO);RX461SJ!M z?wlYz+A)axfK{MS3m(XLyRIGE?@3$z~hw3KKO0QpXUanb1_Ve;Xz#$_5X% zV{7nRLe!*%U^yMJ0vpaV9%U+(g)|~ERBef38=%r(1Zn7NzOv%sd68!Ju9Hz#7*srA z9WzReLKZQ9Dw}J0LaIbISb{x5*o1`H=rSZ%jo_lYl z*+_v;y{l$VZ8?-9!O7?zM&jtRH*}~V%4OtG1+Zq@4n<6Wt>926^UF9?FYe~=IaI&a zp{vSC#=qXw3^6#qe{OE)iwGFaI$L#-#d`0~&fUTQC8?UeH+$V|=)EQz} z{!5+d4G#S;oawiPz-ZM?5=chpzCZ)WCN16ajHTMVAq^m_l~ngA%Dh~x+28?GMH$k} zQRo*%f&3+yeY8_xre%5R{58943fN7wl=Q!nNP?e9j0UGme{h9t3;GlSr7j9MeA?~& zzCK*L>M=pK9`j#4CRw55_x1U5s^JDv?Oo6DQN_=ny4t?VxV#SSxg6TY^**(od+4fi zH;ga+Ps zKR4yM-u2tsW}Htz3$+CtDEWO^TU2X?huXq&D81tEu4T6;4LE7EujxBDuMuIfN)PEb z+bV$)g1g8-C4fq>r2!YW=)o+g6nJ4mwSIGFF`>5?e?!jg3gc-8f0Mp80GG&2b-0v0 zICiHcVU$d8>8gFbgXg>n+DERCD&t?(O-5R{%_1yyex@kOa_?q;JNdoOwm~6fSC`E| zmz72QbKRcG(bjmM&pq8Cgj)}848rEkD}$vQQ1>YAOq0C|8QH=v&}!)F!@=&{zLZU0 z2RaX}fB!sI?!kQnW*@y-63JBjVeD_mFL`YhiiT4~c5(LgP3N*H4^{7fLL*eFGO;{3 z^9iRyHqh$VzU4S}fiB=oU-7QjLQ_RA|FA8)tMfTp7asQSUF(N@u7@M=<%V0*p{H}Z zcNmyBI1?MAhKh~|_rDOs zRMlOae0bC>o)HdL24*(XIkGQxGa=(Te@mY)Z9{(eL5SjVJzsijcoh%V?o-`VZ<_s_1|Cj(?c z>I=_w5gtvVp{~6ij!q7Hl76T~;Vg`v%*pi6eX?c#p*mZ5Ah!#-KuS(SsMoy=f5&og zPu8(z-MBZxcYp1Gg3dLp(Jd9l5tkQnTF#y~Buc)|p$%O&SM7$=vwK5chUHcyda=n_A53dgD*H&3v=k=4-XeDV-qeZ} zW)%kjW6Mac?^HK`@7?3zwbmn3e-B-Cu6o*&(ed|#lUneJ8|B7ay82vp&!bciwDMNTcAP!Ga0(^Xj^gO;mTq19f1xc;{T$#c` z`#??={&?7SUAlHxC0ns>fA83YJT=2<0>N}(*EaP)7^MPk=>sLZi3`r<>EuX#oo?O2 z@qQ#b*1c!sp}Xz|TQSmW7p&>gna7_kA^B+F_OZ?^DTXu~0b}JtKjG80*_U)=u@^rt zO3t&N$9>o}??*aUy9zbMU^0qw9D$tHxgNctGUhfTU6GleZq7xGe0I8#&OE5*A{Wq&E-mSYT>P>Wx!NurK|{;^Q4!taYN`@VOic{SuFR2_aJ}Q zatbHt*xC`vSCjm6b{6 zQ-$R!KftPBACQ0{%f-%CcPW$`HSO6aHd#<=xVg$}@2^m5Kh%biYBRCkU=f?>4(oWb zq==gkvOzn`Vvp*qq{n=qw2{lky5L2AF>(c06XM+5V%KC|e?^=+NAVDv=m*bJDRwhe zhv1If%8wbdiAjT&>W{lY$Kr=CuEhk@XiCqF+!ce=Hn^?vEKL5DPx4#`DkXxhD+LsV z411^H>!mDYEc*@x3CpfXp%LW)dXNDIC*Zuj3Esn)Yy175t0~Rj*H2_!y7t>$Ps2B! ztsG73xM`i(f3=xz2I;kKp1N`o6$3veT={alYxUL z128u+lVJoXf2A4QuG=>9{d|S?p;#G+6j67jPfgOKSOh529AFnn_Cc0tTZk;Vl+;u2 z*Y8|NiE`vqAO)J5kVNah@DJ{z(5vxSu)rPdMu6ESukez8^RRf9ymcBIoQp#EBmzNsumwt@99u zewt-T=m-({QJ$qKo}QeCgEI^GQ8UUN{HGb24KVVe7z9qk+(}YDEuuU`c3I&^nTV3* zu)QP0O3=I93kUyc?q-AB)7%fDFm>jq0Q2QF^J#lWqz&os$N>M%w(_$K9s%@<0u3eL z34#7+f3K^vvo@k3;E5dILGE}dP>IRfuOA;?zRLj$Zwm_HJRTf_rI8+M=d=51ROKj- zO||>)hq)_YcCG=oKN zd)yVFTUKLJZ9MMg!j0)zaBq=(>vbZ`Q2>x5_me35z6VA@<_qv0FGDJEK0h$a?FSk( zgGCSg(04~~lrL3Cqx@PbKx3Md$zU$A;PPi2x)Xi`y$Le&e>|5b)<3#JxvlRK9 zzO&d*Lh(1%og$Se{0ns(EKDPAnqQu~srf~xv*w{te-~LG zun*a&vY=saF0*#+T~6&%zu6B!?ftY>n+m7^AWR6TL5wmP`+ByKpEq<4l_Jc*&PYWh zi=9^{(pUzGH2%v^zx=d|1NY6Rofjq$NmYN5w|c#~xK^u{-&-EQN`?PAXRUwT3VK#A zIEyL#A_1L(m|5r~Kr{+$A_>ekMbl)%`kON;GPm<4jf2++P$W1y! z92C696iew9ktn5Yh&_OC)oGDEgfidNyckWvr`;_ZI6^j+l|b-pQ6Oya@9lp!_(T#7TTU|8_&e}C>0a5+A)1%Pd*6JHqT?*7VW>x4x|nEoo&T*hWm97D7T z4I)S}m96IW1bQ%njH;=|EvsErUqP>-jB^}&q|Pi<$7fHca^%%w67-{8m@p! z5&~cq5CuI0G%{7X!h}UJ`%tlt0tH4LG@BJOyA31a8PaIM_; z)5yzeQi_y?n~S2z07ZBikbT#vVFZa{(9bG55m#p|qG9ZSn@01H2jqH?74&|#r?gjw z&tbgb2AUvx+B8B3OC9%({+c%B9gu6tB_R#-<} zKk^NR0o=Kq(?ePj8MLgZAa7 z4-6QKVUU4h%Jw?&RiMj-Fj(j7AhUwWM;;00J%+#-(YCTX>aC%R6|HQW|IHMPa$vbA z2NQt4Kpn%Dq!VQe^v0^;+zkeTLc_BYZZWf#8i3BCfAcErD1LB3sZJ{%@XKMrrp2M3 zP=zzWL$4T6P9u(~y4DN3){EI8@y2l7Zj$ib&0s1`%?q8gDRL_lh!Lc|fA8|Z)%^<# z4~soU+|;!7+!hVe^js@9gOh1sjVC;@^lEOIdT98*En}(q*pUHWgCFIB@p)+#vO%Ai zF7q&HfAj&mKj?}ojX?Ut#Vk7~#M~%N<8hyeE6!}l=TH0Q_-*yl38I$RqBdPKj3j7s zlRzQa>cqfQG1IaT81Zd64BY797G8MidFbV%XnsFHwUCKvr+YP+%v9<`!z{4<8SXSM zaC2<9M5nIZyYLA&8PKWaH?}~amIaqewixNWf3f;q*e$LJ8)`i@>0UGKG-3()@njgY zPa-k7>AzeC=)t)Qp^l4e)uoe7~_seu|gAy|UAR#KKhbwPDOO4`sxN^f8pqi_>DF0wC8UZ&w_ldt%Hf*`p5+bfv&O| z3YxDWIe-^_fwAp%-$VWH7z9tL=4;|6kRwx4kfJpu-fh6~?U2NpwJ(!n=Kbl{WuRD3+vULAPJ#){f~x;@Fq%<(EZ1be^3sa zafC*d=CW9We%y{c0Tu6n!wQUoa+|Mv+-8RHmuF`Din7Eq8f(;aAR4?%KmcwVJ%tez z>>O2KXNXg_R+jov9N(03`x9UY+&OqFDQoK0Qa2LGmoN?90J)e^sE+^$GN6E-6o{l4 zc>8?;@TgS)(3~G}69qpol#?}_f26?=K9&h)6ob1xo*FI0bK_IFhf$`i^vsiUzlOiu zGUEYcn1QAV*pyJSxbuR{f5l+1hpaqX4_SF;>V9f9&3R^*e4yDXS=QGr>8zmxMulVl zvgKNmgO~8b<7TA6A=85clDPosvO3-AmzKmzvvTepB$#jC zN>(;I8XPZ<2B$!?Z7TCU1HpSR$~5RpN7Q;JCX>}%y9~+x-NL73 z!Q9IqKY{zeyOO?Mz`{%pqsF3HIm#jz8t^mqJy~cs?)pAHwWo-Ijg=e-c`oau1U%F8 z5-v@hUwuLqMeb)w73O$xSiW*Y` zc(W&URX*bSjA_K+1KSf@CsGRR;qb#ll}`rf3+@i z=2B@N`o_yRUj2~1Z~vISyRyE|N)q_=|Ec^`UpkZr+s<{38EM=88S38tF?B!tepo@Y z=auz0Kd5Y5AIuePe^lA;q#cg3$Zt6+@h^C=f+#h^}(B{Bw-JM_oCE=AV(| z-sG^Hp5vO1tpyWJq&+aDg_WBZ|AVc!kmXfA{sN<8a?GQ(O{KY;(qj&5>eg&|CMPK08bjJ3^~N!6YWgk z4cyl(^^pE$UG)lXF1-v?TgtRe(A0U`1objQuudkC2>QyJ(5o3LG#^TXYRFJ?{S>p& z$U>K6&`TT2RDrW6*{+&KmHxA{Dta-4>J#Hh^TDEi;|5sD+o#Z$CaF&(oDF}+zk;~b zkK{-V4#;wC*7x2IKubduSI<@=1NhwvaqJyFTy8C9O<2Yo5<^v;}s?NvopPD!dQ z*Xr@yF%MJ6-$9I#Nrh`y?-uA9;KK>jh|N1aAR#Ee?CMf5fVU+B>S!Y3S2XG6ypWj{ z=hbMcKG0_~nO{nzX^e~GfzYQyJr$H@#=Wm(BiN+n0Q)|6Wf$Fg-<6q_EV@8ltZMM& zjYZiobz3SI6->Hu7?dlPxr^R-fSb?u!ln&_h-bOhlk$*yHt7moS2e8VE8F6f%8HiM+6$hgD`g2~Dp`Z09T)5h$wXFP+x z1qBGlYoJMawyAm+`Y%|*qj+b$8xmGNXj?H;;<1y!;$hL~L#+52$oUbh?BwL%>Lc}S zRqD+^WLE8!&Euw zQ7)TFWf9+9sNcJRnF8F`L*BgJbOzlH?gRPaO34w1o6I=+#lMAM-bAJ(#LROB!k!uW zm`SC_0QT4i8$|(l;&@S4kEGx?Os;p5Dz!GPXEMLm|B)%U`TkoMFGY)n;bn!{=qGrjersMvZj-$}Q&$t^7z!NAN1RgJI%fps->erVe8nXqAB(rk6XWKgRpBUb}b$_9?P z6aYm*J+Q%FUx7ylngg5BYL5h9k_+UXz#6DP*G=MzYVms3l8PQ4BMR&uDq||)Q$|Ml z$bwz2Ju32LT&oX*U6)ZP`YI4X5msmK*f=L>EW1%~f4EP`%eWlz1n*rJ2O*77Vracw zLmiF-!^|66J_9C=ByTa5@KSPzQHYAmR=|oCk009vv4`|H9dt1lSkKSHxy>E1!;`*8HreWz#{X_ zq-OpGLM3CGhPC)19egHU*|KW`e&IT=47F)RM{9uj5}r)MW?Vr=78^B5&gXw z@H_$h+q+7(8VPf;&aINhvRQQXFlmcCEz0%71rw$*$WjXdc1?uB0~VLxLL9?40ooVD zjEH8p2v6$==)61|>)Mc-vx5>p75ayRDEe(v_^VGlW<8#3P4Q833*J}Ryck~4gD4)k zcRF18hcoHqX$HJea+J}0V}RSM+Jiar%So;7I=eVz?Nj8u?U#%XiL7>VG4hu91}~CY zbC!p-``xdpNlpod9sy2k*KH|qBo8zXaC|_v5Z8vx|zg`2J*x({Q)^ z?!SNBO1n>sPXFE~RwMldiBRj2j0RJKSuIg%OW#O;YT+YYC~#xF>;(}0bV{IyAho=W z+DfT34&HcI)r@gCj%7fbGC)tGnIXXBmpbDi?|Oq-l@~l(6t17VXY7#6-y>$QWWJuX z{gyQD{B$bm=|vRCFqNPY$**xWFCtOa{)wLwF)?tBGW6o!6m?f1(HzGL_)GQE;|WD8 zZuRvDQ2AchbZc_C~<)&P}jmkxaXB2JTB^fF=o>84?Ah>Ep zH5KH&nucxfv&up%a`{&oBwM8AQcR%>C^4YH70g(|Z}O6`1>v{iPPOByH1T;Tqzl6$ zT4#%MHec}NlSh>5Y4_UY2Y|Gl{yErF4Y@n1YmR<1DAmOD|0KF}X4!zn^hJ6fWv5G^ z{g%|UN`)<2s@CLG9h)K!{|Sj1SjjY4ER+woqR*`dXY;-t?}q_ZGyp;8aGHMrXL}mg zG?t=b#};B@3m9o5Toa0z-Zfm7lk8_mQ^BcWs{sV|$n`(6EX@kOx=NxCu6`pMBvnsT zcUBp`UeDL;*#jysSDskocqO;{E)H0n4)>ORNvRx%C_R8>4d|T;R`aSmm>AQV{2CC50aIgF=fW`KSnRfhX1J7|1-6gTNLh6hj9(1 zg(Z}0U8KzaM3Mr@A|-_&M%-sVJf0!w<-DkJ0&T1&hn6e$CY@1jzix$Ty8)iByZgt6 z&64rn>S(7&hxL+sMmYrGlT3V<`yDGC3mFV?s-3qf!%y7|-)}Eml6$Yg4DGa2`8B*P zyyxS9t3B< z6Sdz6;%7BH9+lEAH*N6G+9k5lV#3wg=Ak^2c8AI1C&uk$mltBFK5=A`b!tm@1yOYw z@0D{5sS+6sec9aJ7+TQY@F;ISow%1X#$5ua@NxCIpkD87K|q(DO3=Qxnh!*+{NVO( zsZI%a%Q(|dOi?gR>!;S@(VN@w`Lp)zWHUENPlI5KewJq0w)XdhQUKizx^e^#YD?Q4 z7)A*0%dkeg;DOK@Rx~~JTxr8 z24|lCVBfaw?N4wyq*SuSab?1-x^Cq>FN8iWN)%rbdZNiYGcq*TIlm>iZrh)T6I=^a zj+{L%%GgFsExTD+vq63~vw8kY4wnRw>e#esx*OP6L#YdFdCzzH` z?8}7yH-elV5fIIB3){E)BS4zF-1d**6&DRTJnw2%&8`o4gL>Vb46^B=>jduc#9W z;cE|aDszrWNK`6?xwmkQ9?xD@9~c&QqidYnF&%UamGbjSGeDzrwn2nW-1#1@k4f?* zFM*;zN*c-cXb%knQ^bzDEZ3^OUcf0YNwYiSxxX0%3MsM;-PnmStd5GXmxB}nMZ@hb ziC3I#jU+eUXqlF0JZT4@ZyU2lfM%E#*p{-y_g4F!Hv=5b#Dod|Wjqlq2vl6V(qbM$ zmm&@H_sj`#F(vmjEKxNZ;)4otoSw@ME*YIL6`S1hkNrex)2J^FR{a%?$nf{Au<$lV0T5 zXw*)Ria|;0+a_zT6w3`#TbuLIvmgt>{7FLo0ebNf(bR1)qt)W(xXpNXIKV`}^!dqe zo`!YBLrXCuHsn@)Ux9`QD+RSr2|3^cD?17~E_3E2aXu5>>HyWR3r?F&p_ld}Lp$L@ zK#!Sng$Kzuf)*aY7r)e8I=GoWfHK+;h zAC(9WizXx+Pivk6q4I|}#UkWn=Cc#B=^w7Lbf0kIq$tw5?3oFw#c^l~c;UqB+=4qi zDFJbWG+2xc{gak=ED6&;b{`&OPZU6cRta;6$@2OIGD8K}vKBSFb8bj9!uZ%?n>!xh zkWN`discXuKqEv_y`7U?LO|y`Gd4?Q?+Yn4>{Vc<7S!KUXvdE53)i#=O_^dWocHbc zY{z(SsNM-uCq3gUqR;=AhAEa#wySRm9>o}pv?^%>_1A5P#J`oDQzi?iSRY&OhB~Cm zlHJF}JC_6?l_58)?7C)O3l=_BeqLp2!OBe5(P3OuMZw95=Z%j}1$%b@rgwraG%f)RT~3VZaF z!81T;=A5_Byx4BS=g;gU*yIn4Xmh#aHH)Zuz~QWeYt_&Kf^vl=ujXO~amB#)>znTB z^L+Q_?3vzU}UG#j^~6>=t3LDV=EBQcYb zd4~j1m`OpNb9{0zH6rzj>{2B;5*!09pR5w#G3l3hbr)m3u<{-1u*YxjjCCQ&4?mWK zb&QFN3z^9h8Cw`Iw`ww&O<1GGg@|5c)pobVhrGtzr3sT+7t2Ge)PA&(dpAFt@(02! z3#$2&avxyrQ@8wV&QKg;y|w<=|X*Rt`MPd!Sa&t5?x zgeNE4E`WY%4^OoGmO4v|F zLRdb9e?%x%nS4Upvy>BoQ+ymtU>Fs1-9Qv4FA3By(6HQmC)h7Z))@X$IwF=5%2DH; zq*c+EQ~Nz6Td(~=*!02!gQ{`5Bje|3@t47|{EuSx)9_xaABuGjp)9Rb{X`*O=f@3X z3>~$=|K^PRxUc>LDdqfskWvlJnDb_2pC96prmgKcbySK%akU z7fXm@o0!R5EV`;PHp}d@Ag%RKgcq;0oT>|yE=8Ba#X1r2yHDDT;G@@bvcH>FM`xx7 zO(;nC!%^l?oM)Z49~f)k`r2*OPI2BAQ!I<<%dfmjkCCn6d2-7-73$3YnbR0tH(Uju zN^Qoishml4gMTKj0q`_tax98znrm6A(djU`Th_`L*5d_r0<+*P^IIB0}Xa_tNY|^3qwdYhaH;}*@53c#~F!_Uce+n2I*hViA5vzRp4$P10Z8|`ssK{u=nqO~q}2YXgl}VeDo5Ju zCWv;zC{Km@=eCq;f7=@6#~P4&jBO~^WR1XgT1C|N1UOqVNNG;5!~(F;O(~)y)5+&I zg}oc!(O6GQozcwX9fL#itAUeaG=a1EDG8jYe0m|u$?aNq|Dtn&}CE{-f&@FbLk>qkODv;g=9Htl6QS3r^OK<;9!53T{DM1IaG zrp*ot6ZZty$pI&4EkrWdckQJ0v)!s*6tN1qlHM`*Ew~mW(84BVBj3P?A}gGa?HhvV z$a%S82qCp{BhugT($HNYhh-IxDjk<=Y7g(iPO{q-Flego4w5nY-C8IV{-ntMT~IvP zPXOZ-2Pu^=vJ>`(61%_N*VP8KO5han({|}~`C{)VaaVq9HLy4R)bfm=9#~LV2+BDz zcN`CLu@3_E#LkS)xRHGLHX%wDc9zX8e1(ZMB2YY!g^JghNm zz7U~Gt32BAR*ZCVau`EjSRODk&>teFc)*14rEtu?C=?UUE6D82aS*m{pkoq}LuH_h zH*!Q>10T3zwLM2`n2*+x4N9}W)vxduy#QdMzPcWrK!{ei$mW-zsy2voH4+4L*yZ2> zo$2yom7tM7FC_K`)|r;1@;n)BOQH{(NhgC&1i&YgpPrqP7ipY_n3-X!>-j9A7Xb0m zi42JozW!?7KQ`J9zuMl;y{Np>#-HC%Sluq9u@7C>HqkFtjJ7157j{34-yx>9n%H1WGHXhk{l~-Pig_s0qX10H4A~w)?X=hQ z&7;6=rl(;=(S^3QIW`df*#b;{AO!Hm-@?}8M-w-ejFnKhrtBGqcd~R=a6NAYF0q2= z*qb16qUQvIyHN7|vI7$ZQ(ZSG?Ty#PG-s+zuo4^R4R1sqtI8ESkp~r$;bQ5ztvL}y z7^*`8>4tzC`W1r3SbTx~OMb5N7P4Y(o5?NE2dT)mw_kj;r}Nw@vTC(~tWyyU4IWO}@o8HRA1?BVLdx<}0+qp&4

R5rwGQ;ZQlZ4dy2H2p;U33cPs2xBOY1>uu94F#CvCs(ItnpPAP zRt6GWhq-nufN*nU|LYKlAJI~=2mIc*!V02?T~s@85(Jjia-zrbb5suqSzfCUdUQXf z+i9CTy@IR}a+lL}0@rm~rjHS23OwJlNB$-uj+%@T;s*)dg)S*siEidh16HaEPgh;5 z_(7#*XER`y%-^h}9s)K~srN|HNbW?<$fg7x7g!ayg!Pj>bD^9Q=0`J#pH#oWX;B4%4oow|5?Da* zzt=@)@qFA=LI8R9_ZTLtBXI1EdEmd7)-qTPHByX0JB%9IbI$uWWAdT+IZ4(16$8A7 z3q}P~xegBy8ZQ?OqNniBSu^p@|H^`RV-{lvH`z!&thL-kD*w%U$Su@FI>Q`u63LAtv2#tH4pK5&<}+4D3!_LA#IG@Yyu8|KxQ& zKVH3=r6lCH%L#>O`49w$h~y)qlSGjV%m$voSRjxm_fPr8fVN9zF$~5@FjhUfT!B`-WW2bRuDQFkMC33-Xwyd)V>3KW?#UlKpk?A(v zIcer9H3k4dIMde|6FZYjS;Krwi?Szk*9Ov=%;v+Ll z7(hFIH_OA3GGJ)y)fO4N)FIJEVuEE}UyDmGvib-3Dr<_5F?cPHC(jcqoQ;2YZ#X^u z!i*IqGmL&35cG^0q6G{?4x{6-hnp-0}W4`+&}LupJBZFxgmOI zo+g7}l^Alr9Q62gPvKMdR6D4$O(x-tX=-ad02@GccY&}+3?BbYBwDy5zk9{pTzDU! zqf`Tm{AI#$xj)9*N+Xj+Tg?!>=*J+p?M~Xqn}rx#rmJ)Q`+Q;%);`wGJc}d7W%u`F zy)0mU*tus~T)K6K6Qm{ujfv=6~*&lGdBdu^-i z83l2d9c103R-P7|lAG9M&fGQc#*H2FDVg#=D;NzP-HqQjQAx3(4%am_&=gcXST1vj zG*me9uljJ6;8XV+TH_1tA(MSy1EB2@#%=(KPezYz7Weve-yRqWuBdOI^uSdqx2h@O z?XyE10^cPDnh-KIm(@3HAFJh@rOu8so!9PG%x>)JNU8eat0dh^9RYfNm_yb6Z~92# zN+2hoEtA!QZA@RQ78t?>5vW|^Tdfdak36|!gw}qVqMUI=i7a7p^ai8EN`K&f0Fa@4 zPC*>Dsqtl1LhEwl=f+#Zr`NO)To9+jfLNOkhj)A^@BKVhHDVg5*sY5QEArdR$0Pta z=I%P~{}}99i5Q7&4J=@Id0`l2jBQMv%!pVRSvdY%V7}DYjM->L22AVLdCz0$sFOXO zl0aGXBj6O$>1_)G>B5|-Y-m0;&WX*v*?j&W1z8rPG)_?>hsN$Ywnk`fQBy6R z7A~HD0Pvj{anDBFZ);1+`rJyY53goz-ri?;MUfqH64kh8RL)(=e$S(SpA(eVy-GH- zIrj;YAC~#IKWgL0rUxuYh4|qN4Q_tdCvB(AIgOabdblU09J|o*&MOYrmD#7s70+x4 zYl4TV9&VP6N}m}&O;{t1SWiI$=T}#!8K`n>02U9FE!*05ebap$7G*ltt zjz5|NU+$MROa#WK`H8`nJaSts^Spt--s`12v*2($LLcxtFE2o53-CW5k=%s0$$+OA zPUFC=L~w8`2X)3FlO8wELz2)=Df=*L@@D!6boHZGq3O}K48sml;D$k5A&K^5YRzBc z0{{RajQcq>267;~V@J0cI1*2(mAgY8WD(&LpT>UvS+)3TMgE9=Byl6OH+u-YH_75q z!C1%(Sm~j%5J-isG>Yg2K`DNizD2#g-31qfyexB9ubwM=I*^*|6M=Ua%*#i3fmkpf zFd1u+qY&o2U$z01BfI=e)0zi=5YBLHyG`b9e2%kr0O&I4gX~~wV2+qYBp2HL zCT7I!Xl*)+tYsj_T1gYs?3BAMwM3jzS0WP(Giv;cl^_o|2)0jO>XgebiP#_2ZY4y6 ze5@HNk82BUxiCTt+_%&2LrIz3GiJs*Y>qMtJkDx?z?)?Gki5|(pBmg?+_03n%Y)@* zC8{7hiXZxShtoiZnLm=mg6+H%@qh$x8ey1QXhZh{PvrG4F|KL4TYJ*K7sY=N8-NY2 z_csQ6^!;BSlhu&)Fl~~XH_4t$R;Q^`ovmkk)Mo6pxf_BjL2ek1*-sf6ja_fK~{Em6Bmk8 z)18qTj&xv!n@0h%E+7$*$f1`Bl#n8=dL6|n9dWoRYGk911;-)Fdg6^BK;+z_-dZ*8XHQXOTrA_W?`B&BZ15gwM(H~x_k0CIBfNqJ$Fyn7pmVA#z`ja`zQV73gCg69 zgD}AsSmijw^YuaR zEoeFMYF%=3H#cY*upVX)K(Kq-Wufu2YUj8TT0)Vo4}!h-GjfZ;QJU#XZ73#K0;S?m zA)|iP63*#LI9$>LUbsS)ZczPgvt!ceWjAU_uf3L2{h_T8!c!Gs6kjbgv%`JrIKI8U zmoXz??yJcnKURZl!=8V#jF$9TMtA*J7`)w#NV+5O6(8Q2r%bgD(5NjKU0G;z6lC}<>)h&3s zM~G>&1bZxu;&C1Qw5PUw5Gc9ky6=Fod9*crD{WZ;wyJ`W*m6sns$IpT7SfBjc2abw zJp2l*u-aovLS4LX3@DX_nRD(Uyzw_GEhzq?1t&IWOxMefc` z)uR+t&6zNO%z8qT{|>@kvXAW&6X8eFV$sC9sW6$zPxhT;@9y7z{m$rHNmZ_CBxl@WDC&w%Rm<1K#?(B!-f-W+?xj_Zf9K z?Pf=G?MAL4^?&Qm4v|B0 zpG6A*>&b79Z&Z;@Ks=jjkHhqTVR+9g9?3zrB{>IxQ3z;_f*^r+{P^2HWYFki2AZRs z*RC-x=~gC}ggU!fDpa+ya)IMv%Y7^8giLcPg?LKzQxPxsI~bN{UXta`}(T%)azoI5zEqR~>ddrCD3mSI5?*UMh|!Ng7v?+_ZKpX|Ybs4-b^?f9S@EGRFYM;N5VPPynG#j#8c#2sA7O1c%# zvNj`G%}|;Pw=9lW3f70ZMI`q+k_3V0LU}fTb9V#N&s;-Fa>g;14$N35Hpoys%D3|qpoi1w&%hO!`lAO_X2p4;9m*N^eGEq`O@UWvY|mtlkll5Fhcgisl<7fpN>4Y*W8C{Cd(-I&i^+cX(3)UvUl5 zZkaW0xh!D}40I5>sZ$H)4Dh8Uy7p^j6okL%m81han#~Z7V8-=@5S59-2mm)seT2^X z_@yrWpV^E6R(sd-W=eX^k=oxXsrnbq<}L1Na-o>vyaKl#c_cK<)FD&ob9xsgK{!%S z3WGTt9kVN$Y#!aU?#XQ*C>ouB!V7IvXp6UBSAsD8*lb(8YO!PFtTVPXzez)2`9D^| z={EDeBhe^?TE+6xE>eY26cmA=+do@_{~l!$%AtpxCyzikA5OQqLuhQiqJ!uPt_<&@ zQUc@6a6cQR@~r_^1mxQMwFd^73o|rtE^Y^+iQv2l?vX!-OwXL3M$;Am%nSFT@Lrv( zOo!}ZK{<7Bv}U1(7MwK_fODL3diM24J7pklN~r~7#PV*CABGLG zd#pVNVLXs%S1Qd`G!=_{ip8+2wm+D1Zo_-?|Jm$Vc<*}`C>aOhZ#4qaVb7=&EPXAJI>CM z9Zw;{I2)T+eTndk@~7GS_vMI)snV5Rb1t>J@7Y%imGQOaSCh?bFx_bws&|woJans= zhLhjV0Sj(8a(x;_1LKWMMsr$0=1BmKds?Cp&j0%q(=tdcFz#*z5H%X10(tt_K3Nri zkM#+f>V9OeC#h7K{TZY8<(mDbs`-!sFFjC+K*l?A%mVI#-*0VM1t2a_y;2=(L=A z$(a9#G{sQ=RO%R=gXeipMB45*eVqrXv-%9=;?Abh98qil6Gz^7g{Rb1*&G{nPZ;fE z0%h+pJ%8k@9JdH7iHGO?Bml@1Lnq#hGy zmPjb8Gxw&H{yE%ncHjHCJWg;^*$VrEKQ_vY4(KWr8#UNzn!PFZ-%JiRVX`PRV_ex66_9&r$B9vbN^t zEf+eu%(h||{bAYE_ona%!s0vpObN1M=WFZt9@2Gg&5TFD_4n72?BMGIPR?npD=$a) z?(rXtV}&A33?p*B+5iJ~>U9(KURT>l9f~?Tt1wc@7EiY0HgR}>@hyFMRfWgCxk$@{ z_cCiKb~@V>U*qn(G#*8jeP6k!BOXpR>hE<%b7S}`)Ac-Dycj{kT}s#4q>&bN45X)P zj{vDDLnbOOJSW8C2VSD{o@>=w;L<~6=fsMWIZZ~<<@*uWiGdV-OBvTp80?|^K;D=c z(jJa0xn0`%l?H3TE`d$)SK4_QvxC_4B6RojY@7%%2{tkm&Op1?8v@v`AR;=g$Z46U z_Y;n37CSt=R|;xOj+S*+Cqqj**$@Xe@7kzON3xzrcIjxxML|Uf z{F|K(zcWf^MHf6W9ehafD+B6?uU>;$`gbT3UUdsO!ml>ulQH$9rGhZX-AD>IMBtD}U6_NC8F z5%I%Zr?&9L{)9&x7yECN%M_Hf>%sP0*`ldt-ZUm)C+Of_;yYZ~Kl3RJy3GW%MTZ|M zCaH6!;6=JvBwI3bB4s6`CoxemBf{KrK0n~f5rugbQ{JEQkSVScgU`eUMoVi2PtE~? zRqaqfZkD2k$#QwZ9o~Io`ftgS4{l`T!5yd;B$uh3RUh8`xgwmpA+mP;;{}G`necQ3yU=oFr_n{oL&0D;BXkgxLgb(UQ zY?cuC{b23Ux}IkTdwfn2`5i`*M3Df-W@~iHS+Tz5XynUY>puf~Dva11diJ_=|;Kma3lQ6dZ!_&WloJRT@% z)mL5~l7b(^A2S`&XV$)u@W6YnOeOkX@N&@kaYl$>4rM{o_Ti&PCuF1kjWzB)2*+tk zESE-vvSJw1WTP$xWUUO6@nMdp?K>Ol$WvQk$2&_u;?-ebrUlJX2WQG*fnumhGH_bJ zzm-Zd1|kGC7K1GgS7Y9wfYxQ7jBBMWn$5oMRS=*^>gfHG&zNx_1POVxsTYZ@244nS z_5%>a)#Ni$bR(J0L~%02g0sL6r(L)>(H#wE(ox`Zfe0+|dP!HN-}@kAyhx4X!oBlH_zJX?*fWfo-r2SZF`3l zt7WVqk+{j=1zY>UC?q;z7WxcuKo8bXDF>2|_IC9_uC((2k&()!q(Y|6YGtT5R2<(! zUP_rq<&2hIz}jm5t3}s?%!_zxwkJTj)#N3PMNqb~X5tH;nk;qVCUZ_1a)WI4tm9bk z)_H)NmFi=*d(~WzIpkdV_c#Rbm87?mXP>JbkCt za>y&MbKjGsejhV0z6ZR_3ExHVu99Bxe&Kdf)L?rz5+uo@*ol8OTRip3w^-s?+u zBiv>aE_BhR%Yv=pLP~eH$g;Y+Fo4JeeOh}AhF#+8yafuTHc;scJ91eYRFUp?1`ao| z8oISky%U3Hy_s>d$d(KElUOTn#4;U!Q6P8y_4q{UV_*wEg4XZ*g3=r9?*2HDz6|6v zw88pt5*@J!;z0oICd28inub&GJShJn4wPebCo?G^nXWH&;%WES#mnfXqzjiome*6s zMK9fGIELwdo}Qx>6MHKC9dVep=~c2JI8W$Tk#D+_MnG{^6;v|-NI$(eb91br1mvEp_&6s@H3H$;7MtzJe z#i8R4osm1fADCPxW1CpK_O>DUyWCkmjxPSrIjcKYLJP`BBH{u=9__P!4Wcck_i4Xo z;>9L~tSyEnJ1#c>x^KQv7i`nUO(%hZ*2Cb{x+yoBK~Civg2*My56&gq zyl((1{eiyTg_aL2edU^1JMZldzABN~%?9KLdJnzWF`jTT1;PnQF)j82&Eq@#*vHr3 z#YoN=zzf+Arry{u+MHrbg+3x)WH%29fPk1FW&BR@``nOTaox#M6 zov!ACAP5fd8>i;j){o{_k~|r2dhu%DvDvDK%~ULG4s-)qoG;zD`H&&O!jO=elQLVZ zv=MUWRw?g-D!C5#It>08*fJ1N%qRR4f<1;ebE&u2o0M<_qSkU_KtUb-p2>@yJ$qLR zx?HsKGCv&$lG@UYO`dhCE+f!`u36n!-l{b0O`icEV=%l0=#c6ZVtiE>m$}D)zi*rJ zi33moB>d%Uzev6*=+#*(^CLMPj-Xj|OIPI36a%R9N%v}p9E$2g*YfJ#U;cXS0oldA zeN8^2@T6w5DUZiJCB~-M?YUElp?*7dYjJ322#@?qE!wlzxaw70Z$%Oo@5kvq+1z}|V$*rJ*aB?Q(kx~JY)HNH{|C?Kx(JaG`IQrb< zHIl_^mo3gJZsxv<%z_LLM3|K?l=0_N_VIp(&_N@Zeh>x2fYqy8`EC-FWTF7`CtF$#(TYYWKmpR%CGOq};-<*rYh#=ex&i;(u{J^7|4dd{&SGL3duWf5 zSeJPyonVlY*X>^+3KDP*Yg__&zUq0v@-lvm@r3^r5^H-@My9hd6N6^8VI6<0lkLrO zjxDOXVw(k(f+t+X^lmeRC$0+03;J!v&pCmg#=r^wUq0CkZtC9~E{tcQ*3&k+S?SK~>+BY)y+ z3`gBw$$%brxpZX7yCkwHQ--Gtc`w&`fUN}9JN*OVO-4wEBv*VEC#_lpHM`2MFR88t zc)|L?h3gXdr8UVO924j1jQ8yG!CR@{0A2PLsSThj>)xl&r(49@u6uLoG&?U_$5YcH z2)^T&4R*n^kLG8E^)HqqfAZT^SpUoMT+fZRn4fy^f^Hd@Ocuj#tP#S?A3RQctj{50 z#5_XZ$(@H0c+za2O5{R+T89^0(1FKrDj=$WGi;>DA;bX0d*I^6iDef|c(>sL06GRp zAu;Vio>HPQM{_U{>MP@(O7Oi?bUeA~SvAQmJbBNpYw29L~&_?x4UY{#zGCL3m#^1<ZwK#_FK<41_B*x`Bi-x;xc}f1S0s$ z#;E(}on;u6py(XZkupNi8k)hgz-|k#pw4I|fY>S6%{dTcyn9*$=)HdsK!UXZfp9+eGX3UOqxq~rE*-3t9q;b|kv z8V+{TY%tpFx;GABL({6vSr7Gjf4D~32$-5-&%CtJXU}2<2jBk-ApI>daaMhnes%lA z1*JG+Sw>xNhgamt@rJktwn1~}P%;Pl5|qWip;1eHLx^pxSz?V8Ic$U1Tx~`(3J3Zy z*@b(POx%~&rW!tKus*}wQh_6(SliqsT>4s`C#lX-Mda1wUjfD`7_@6)DkFqFIQj%I z<%2<8DSftcFVRs2OwgOO{(5&ZVthi&-;E*l(9FKe=CHy1vrKKHfqPbxOy(4qyTV9otobWKqk+A=ppeeL#hyB3wZ zm$;DEUrc6ryO`6N2%ix0t)a(3xk8kLB0D7&7F0{S-dmdvU{c??6#-|j4FXh%h;(KH zs#T$o;`goyudgK6W#<+M6{dp??(6I=>Zz&JCF_hEg z_Lp}G7&Z8Nk^ZKP@P<1%URuqc$OEdE0K$ z)P1tQ$o=_umM6n8!Z&p>!!En9V%M4w{UYIW{#e9-Y90Ry*|$K7FXK?S+w5I28UL|jcH)k4oo00X9ky2qlA+`0?vhHFi!hBVB z5ZOlt(iyi-tJAS!AdK3?twbjO18S!F9h5y-!QWM80o9tAW10$SNSZPy90s9P=o;hC&*i3IZ`-k8dqtOz^b|hpgft|{ zeo{ZE7>Br?Wg|1#w_801bQXBDfo|rzB#FhSa~6y-zItg^r;up$tflkP(j)^eP2%&@ z|9Fa!PL};8Wnh`=^yI>)1*5nG&ON6(`6wF>IF(UPP@Y9$wr2-{OBQM`SF|mzrjfjo zA_y0sMx(Qhiy^VVk!(&A8~^M3#@sZ@S-NR6 zgNY@Wh8$jR%kSXb%G<%yHQaxQHo|v;K5K*N> zB9l5q`qk<%?ue|)o)ag^N_1DWm;>SORsL{a~)LD_mdnv zyS1NMuWOM|b+;=|-?M$8_$?-UMPpCbGzuP=s!k`+ysb}b+=>*gvy9I=#Ke^aa9{gp zSNw0O5YAX_qz~evM9HE4u&~y%tQ6-4DTRzF0K3T{l|(xgV8VV2uG(K?P7seMXB*uxhGh|8OKP`u&^%9-Bb^9XLIK#!<;6BTY$kFg!YY zjcN1YgPG#tyKzx@;Tv^MP203y=JVnuT<^Q;&U zKT+pZ8^Q_vci%zgh(d<&FZWS3nmjY(eM(pEbX@|4_9~%&lMfdXMkBiGyOsaL);YCj z0&LqlPRF)w+eyc^ZL?#2v2EM7ZJQn2womW1_QiRgbACeIRE-*Qj(2!|7y&T$~t@?lxumIaXT|Y6u>$S@y~q zQDlf8@gR@3WWb@?qlf488(@0eoQzA0fy~IGzTHeO9rJz%4nA>GYB3w^ulOyFekiKm z{VL2#IzVhL7#|(W)T(d*c=)^fVt$cZ#gY`*^gC~Ztew*PmLgo%}nEp^`dA4Wr6Hgn<&M)~oAUxAl{{-Xmvz5DZ59p$M*oCsu4rb}W{Rn-ITHt0PCL>uFmB}% zch0)vqfys9Y~U|Deb}^13kMS|n3}WVBhSZp$A^(4BM!jq@W3cQ#c2tX0IZXXdC>5p zVEiB^6t#~k^#R)KH@WHg12gtL9@|9~!Ev=k#OqQeN%Vt5ifu!ACik~wn%WLpumaYS1Fq6EmZ|ax@r z%;hAlzV?c~w`oiz5hNYY*8tFECHU`sI#Y&?Qb#!iI|p&YnK9`sLehg@R(Y&&wUQ8q z=d+LO3}J2;Ak(+i>J;+}bM{QNT`p~s>|rb36AxlD4;?X-!IX3j&N1REFRev2Mh0H( zv-toxm_`F(Wobd`hD#Xbxl^mz*v0&Eld~uWS9=IL-zNW(7m?r*YO_$s)2`Lb;6fkH z!gk{+)knVQpbIK9EA5$1wm1K%Uy8uMwC5X8c77~eH=pP=Q z1jn5~_sk5qmV&*!_RO?{Mq!=a7(YzSeCB`*Z$2T$3sZQLQ=y~|96HYy2Q6icn(nB5 z=CJ&NWS|bVF`XGgPBkCvokQ=UKJ@v&V1w9<(jng==T*bM1P#kVhw%$8(9oaGn_6QC zlJPYdzB4UZuWQL$i5`@wB>oy6ThIdTa2ag1>=mWs4A=fJQLOnXS+M18EL$~1I@<%l zjalr~`D`23qz$(#QWl}R@Vqy$Dt@637_f5k zIr%9B^9s@Byr!q4*axiS^rWe=-cO~EUewoR75FMl)kfqM-mm5QaxZRr!gt_waJ;~7 zEmU_J3m5pqHIa(c;y?lvOCiX!0;K_`RvVts>Z7ZpOhgN*>Vjf!VC zzAob#cqkb25}u8h^cV8r8vk5SKgGJjROL z&tj~|RhKz3nYQ*0CpTQefcdT4&OIl8MIry`3J82eCvaz^g2Zl&-xOFLUMYYj3`fV^ zz9TvRs4a^DS6_FjbI?Q9MY*_KXwNKV4fCwUK{HH9@b-2T;9B+I?fU|HBhnmpl5XA# z$;DF)`gi}u;jWnj0C^agzz2jqdUGNpYtXZJAjxPYd<-`k7kXjN#*-0ZA&V_VHC1t4 z^I~Kz-zMC9ng29cR+&BjTnRLs&4nkpx8sBLP&y@abR#6#o>AN8k-}-iUNQBJYINR z`&zrkK2^WQ_r(omCxUKqVCRBzuonYO~VE%ti6wd!K zQ9#-LH~sT}xhN!TDCJ!dO7C-yx}B1v>6TXyW-q|Rj-)b_2}BaPl)XJWMi^aVywfHl zqhRQ*!$vO~kpt7FD0bg(y05oiAB%1P4*)EOVu$>KaF>VYwuoUyOFVB+hPbt#V|C+}Dbn)@w@;fxJGxlg!r+ZX&Qoj5T(_)$0;%N0zW9tO*z1Us ztbu&M9s)r{KMe#JHKQFNH42a_EUpxGpltAANBN$=xU*Qm%E=+D8`HJjqBsZNeeZ-~ zr9E!><>NI5qFKSXu765%S4OQ|vCR~gxMT{GP+q+`xOC*V7=3bB(QzNlD&^wYyUT4{ zlUpO!G~qd&7ehS>|6XD`MFqxYbzFb49Z3E29!(v%BTzU|FjDDxp$;IMCt|$LjIK=c z>|uGb%se>CYm;5px#oRVtXx<+fFLlN)xD!uZE(N%z2m&~&~*Y|dlZs;7Z3qKxUR0+ z+P~jY%2KzO$_SIo@0%xwJ*2IREzR`71=n(Cc@P*8O%Nz3Ss5XgQ; zKQLKgX;wOc$Yjl?U3g*-{+m%#F6r!5hf?Biymj?N=|sH${z$7YTYiN-86_)TCL=5* zPX{SYm(-J*uQlY!&Io42PI(8NnbBB2#58~o?}*yf*&(jh?fkyl?|iwE-yj%;4>$;s9zn=)T=j0xkb2sbmTx44dUR+I?~5kK5YHP|iPr z`%`s^m!`*kH@fGD^!u(#uhS3lvv?E}=nw4hj0eDfENy_-wN`}o_4-h3>)!|5QqaVb z3CHU6Stj76q>*o+40Rhv!znTE!2hDzfM*5?9gZG1=&~=EC!x%^tY24X+00?)C{4+1 zZi#HzE?vBn*Z8(R_QUCrK{@G(#|l3=RO=6myS1(UsMX7oA@Y*2qUCb^YGT^+jBp~v zVj3W*u#MsZi(Cip4H{boy+m{#93hKMgz5^4OcRT#a|O9(p>38@Px*G+3srb^eJ`M2 zAmtq|w*m4GNWMh}e9lHEz9#}D83zXEdC1whtAk~Um(idQ@^J(pAF;ynZ11O|grF@b zvR6a)aw?qw!N1$deP-%-jEF)o`p;V1br#^5>ki3(fx!Ys9=+HZG*w7wqT5wwF^#bF z$PiML>rI?4lBb2q@6m1xQ};71+Fmv$swfNSna^n^8)~nyh{=83U&yUKgJQX&6u0{R zG-1f_HpUn^N=e3v(2%RzsfLCG#wyfkW z=2D6(pb?qt#+N!kyq*dD{mO$WRLzhgh`ZjtQ3P1 z#Oh&6-;?fyN<&$YtFnd#mo)EW8)L_wSWU^me4dqCtBJ><>6A0dK}e#e>tW7db?d%KMG>I6=xMt#nAP8%2bGgxJhX3`q+<6f7NTQ(J;h zb^=%9b)ZH|N;&|M;=$`EybPzAlS}5_9eUZ_ukEBf1BY?fTKRn+{ulpvL)Z4O1|iOd z1GXR*DDE7Eg|a{s@A&eaRO)`ML6HbI5TknD0EW(L%YIqhHT;#82^b)zac_aZ6BQYC zGpk{L-o}C(2eZW@84dfkmbsS($_G!9h@@S6uwN9nYmdzMh*gI!BOy>lc&D$gT@7_y zw#;Sa^3GfJ$&H>vpz|3-aQM<-h_h?%^r4qmDx=#MK@NAvZ&(M zLIUYs78%r^6a@vd>0y9}@Hvz=6qnQK2qj*D`V37hEZX% zp$iK9$%V?Zgh%qJfLyCKcHPvf_}l7izZp!%fu9LmC5*Gh`|FWJ(Ltu$YJO5&Y|df% zSh-KmlEa+Uxu>p>OqWC`7*@Xpex9lkrT*_l9W8%TFJC z8)E=obZD*;63Q^F200w-=3?mw7FFAZ|uOPck_uUnnR>3^hS zqV*9P2s=~ayc-puTSNALR>!*k10|Zkeo#*GmXyWyYE_aWV`E8<` z{Ce_;wo^bIc66E$BId^yEbP2{2i`k3MXT}k#F%)Im%rin9#2$7-MVU|)#KxM&B6M(Sm@lxg-bp_wUcZFwe|7~YOIb=!qb zzvs#W`a{?iJyT1xSJq+iMv9$c zxHrLn02<)eVEHl~**%l2>v%(V?p{l4S zj2-8iuV*(k`y@`}+-?-3?{^h6DwB_Tl-9RtD!N4G)tDPDLd0zKLO@`irS70-Y(&?M z2Vpw+@FZa;tfL5NdioR(Pe`LF(9N;fC7H1|0qvc*o=3yoJ`(>-whaV|>+_}BKr89x zw_%YH-j~`7N?2%`Kh7OkR?h<}+Tr@})1={nJIQQ1=Mm;dHlg=!w(gA8iG6IvY`UX9 zX|1bsvDRx^;uRMzmj@|4mvc%MCYtaY7Fb>liLWUw-x`lP2`r=!e_e1PBI9jT*IOeV z0pUmw|LUFe(CILA+V(b3Z=rmzm-4p>sQIfPka9^u9Afvot@Qv14a&43~+OFfYyz%M&XHuSl|P74?>07 zPCZ+VkKL-}uUU;ncIfEU4Bfz$)@ff10HnSJg>#36`>dSccm=$dNLiA&h%fX@#4#4D z8*=o3kak3-6x*$v{J)A2yYY+&82qMFjrKnA4b|O3ximrjEj3OMH6DBY!!{>c8#bup ztJC_8>u5U+5-=%SD`N+XeG8078y!d$qFfcL90M$?zI~)HMYN^gXM`Xb@MN0XfMLZZ zgf5F4iqB0TC7+9(p2hH6&M=5eM@{wCJNHa|5XVkq#)6S{&GKpvS}>oT zrD8$cEIRXaZcHa2lP8bvX^@5q_UH7#M6lyb@^J9tVczj?^nN1|OQLLahvI5wsOq4w zEc%vxaMo=B?~b1bbM(?h^W1EEfb>}oEf^v1QU{OI^0LUUU447cEy`;UU%QlKyXIM$ zpm@mTUTQM57-Lj1269X1E79|8a0)F>+q~Pg&7aRl#!&r%K3#|p=n{r3YUu72R-=zE z@H^e3fY*N+`NO@b+aZv)uTFXmXI};KP>^o?h4Lw+sDXz*8RJ})x9^+lUNup zE;twSOAjWXuv$S;(v*{Yy5UNuz1ZR+=A1Cv81hprFJp{DVI!FF8Lu@WJTUHMS6WjdO?wW_PMUs?nLe49Tml8ToFD#|mfb@g}7>F!9JnD$d>YX($ya@oD$m|$;MaSL**eqv*to)Zn!dxUZ-Q}QV; zbP=1rx~eI0!Wk6;HuHvQWGS5_V$m^ldeKAg39(D^KWqE?VW^-z7g|R1Nf_grT&3gsQ91o}CW4xoRZVJa;Ec)y5V z#cWQkC-c4q^%5?EsffaeiRV<04x|p6ugD+jDqJC2)rLk60F2dh;DNZME0kabDueas zS;`G!dL74k87H)(4z94s0Xt=N$bAQ)3h1C$*BnUh5;Ngsa5w14*KQQEqQF=~U6bo- zF$ZFwwlmJW;)wTtNCXswb@)tB9#GgfWt8ZMPD>c{;EL;;$byaf%i+FgeUo~;^`C6? z#&uCiBR)Av0I_8GT!Hu&VdHyd(#3BhXN=?(MO4_|LE5^|_Q=~UnMmO08C!HFbu~gZ zGL_s6q}m#Se&Znnmn&oW2;iv9r@6=JI?}=zLJ^n(t8#3*31y`Hu?vPt&i#2@-}454 zwdiR`0V>Q5s$D&m65gSxB{z@HxHT-+{2KZPO2ioq0=qwsTh z({hz%$14XjES;Zbiy8IA%}^bD69S}9`Wf?84BF13%|m};>Dn`_g$bn58}GV~{cD<- z#OPUm#K#xSl!irXYwpe#vv12$A=VD8orT?Kn3=6l#``h!hy3>5f{>d=$K! ze8r&`fPy#7w}y^576tCu1k&zk6iYzz>t<+nnE{pM%8_Fi6w& z+PzVX?@XiGac)|Z%+_0yFq%S-x+y~}PQ%J9Kx#F50XLZ_0n=lpiC|p%6zvwV*=juJ z+TtxV`R)s>1gy34du$fF)t(S#aEr&3zv1vxmYArw_UxSb8Uu#3KaiUGN?r`vJKK!J zu4CMWiTB$^c5v&C!LduW?UEk)6&ZxwnTlZ(4U6u{dpiwy?+WZPFCaTdT4QAWnwz#9 zVC~xGgFfcESXT6GsWPGB#9F?3@Nr02&HrchQq}RyPZx1jK!;9|V8%faJFcB^53V#) z2@)_SVcVOY3A;0{ha}C!r&}M)bo;*6CbX@8`n0K|CRCzK(QNW{S6_~2Zz8Zc%?_pH z3;zNnKdXJo$$H;7F|F4!t|WHMq57f)5YXEbxWBSul^zAD*{0G@?^359UU>9<8{G0k zHG52_P+Vm(MjJ;pGl78u>VnydE-80CE7KV zE;r*(=LkMyA9#OvWLfr-`u?RfAK#m_v+a0{%EGhZJ`f z?B%8^R`aO8{hx!*PwKxn*Y~vgwh3Q&76>;q@U=nw0^J`7716jc|J9W?cc`GuOpJ+0 zAXETVg?_t0M%eBLG=6f(22Ro-J&NjNPg}cXc+FdAWH=Q6>lbzGf3~T1%Z`_COAw3% zC#utAZH@c-1~lUE3?}$Bib8=xGcXMfQ8V!BKsvZoc_a!A*t6d;N2Re6%9)3z~3C~FqEI6o_~fB znAH@I{(HpXM^rFoHddzp4$w5E6aROiYBN z7oh^=G&)f$-zyl8J@Xd>$pQ#2k3io|c<;CiibKHn7eUWIs^@L0ylGqbf=|Nn-SJUV z_<#k$$$H7JNS_S!%v8?@={Vb;hx=K}<>ORc)DXkl^|o5O|FK&Y0J_uBu|6DW*HxVp z7NM1CfF=PGtUCmb&eOVCc&I<$q3ldz2a98i*5ooZjz`F0vuMm{uKn;>-$!% zidd(%N#HvzjFN85qtU9x*&j6a+N2M*2PS|pg9}vpZb>`4fZDxm!t4-c_(r^OMyY-I_W!xvhV zSE2I}5rQFl`R^<{pAneBE6EozwCVn2R5JUcVv%d0{{dlV=Y zd~mdI-l&xVKzuP{ZzSn^NZ;+B>gPFVo5cSGx5fm1*Iy1t-F0tvb)*z@kZh5~S*J5fpnjSW9C$9%ULU5S>~#R&6cU(+ha? zl>qO#+H#C37ws?bj5wP^rQ$asTUdHcRZMjq_@w0#Ky05BPdXP~FHjbt+b5{b{&;2= zq{d-8Ah2!~aU##UUK(WRYISJ*L?%IHCcIio(|T+e`M$M>xv%6{h>L<9<3wcOGi%L! z6_R`ztl1q?GX|a*W%xbb;^|s9)8((He%PeNvHcp#5Vom<-GYpVt#{>l^_12t5%LXOia1P~Icx_g?#mCa((n=1x!k#hGT%C2&&Ve})juK9RXa#Pwy==!*hGYVE3!e2I z?TRkrk}g|@H9MWs3|o{77%}Z2BH2IxuVL4~->x>{)PwIzq9?&f*yv0v-1kUq)EC@a zKnhpK!6VQH1vdk-d>KoC^0Y6fW*Rm zXmC02gUo(pX8Y~K92SG0h1ClS`hY2-D&c{aO2gS1C|1Jc!!TLD3z|b5*o`&Q`90J> zOw~b)pSCTj$|D267OgrYP58BZ=Ffyurb+!^x7