From b6b9a9846539f6433a9007b7adc93dd64797515c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Amy=20de=20Buitl=C3=A9ir?= Date: Sat, 13 Sep 2025 14:08:57 +0100 Subject: [PATCH] temp --- index.html | 4 +- source/book.adoc | 2 +- source/recipes/devshell/main.adoc | 6 +- .../{non-flake => nix-non-flake}/flake.nix | 10 +- .../recipes/devshell/nix-non-flake/main.adoc0 | 62 + .../nix-non-flake/tempwork/flake.lock | 77 ++ .../devshell/nix-non-flake/tempwork/flake.nix | 27 + source/recipes/devshell/non-flake/main.adoc0 | 34 - wombats-book-of-nix.pdf | 1108 +++++++++-------- 9 files changed, 747 insertions(+), 583 deletions(-) rename source/recipes/devshell/{non-flake => nix-non-flake}/flake.nix (73%) create mode 100644 source/recipes/devshell/nix-non-flake/main.adoc0 create mode 100644 source/recipes/devshell/nix-non-flake/tempwork/flake.lock create mode 100644 source/recipes/devshell/nix-non-flake/tempwork/flake.nix delete mode 100644 source/recipes/devshell/non-flake/main.adoc0 diff --git a/index.html b/index.html index e0ac3cc..dc5849b 100644 --- a/index.html +++ b/index.html @@ -2338,7 +2338,7 @@ access to language-specific packages, there are Nix functions to assist with that. These functions are very language-specific, and not always well-documented. We will see examples for some languages later in the tutorial. In general, I recommend that you do a web search for -“nix language”, and try to find resources that were written or updated +"nix language-name", and try to find resources that were written or updated recently.

@@ -4782,7 +4782,7 @@ Hello from your flake!
diff --git a/source/book.adoc b/source/book.adoc index 2762e48..66be26f 100644 --- a/source/book.adoc +++ b/source/book.adoc @@ -26,7 +26,7 @@ https://codeberg.org/mhwombat/nix-book/raw/branch/pages/wombats-book-of-nix.pdf[ I would like to thank the patient people on the https://discourse.nixos.org/[NixOS Discourse Forum] who answered my many questions, -especially `cdepillabout` and `FedericoSchonborn`. +especially `cdepillabout`, `FedericoSchonborn`, `tejing` and `smkuehnhold`. include::intro/main.adoc[leveloffset=+1] diff --git a/source/recipes/devshell/main.adoc b/source/recipes/devshell/main.adoc index 33db181..0f66e22 100644 --- a/source/recipes/devshell/main.adoc +++ b/source/recipes/devshell/main.adoc @@ -1,4 +1,4 @@ -= Development shells += Development environments include::nixpkg/main-generated.adoc[leveloffset=+1] @@ -10,4 +10,6 @@ include::haskell-flake/main-generated.adoc[leveloffset=+1] include::env-var/main-generated.adoc[leveloffset=+1] -// TODO non-flake/main-generated.adoc +include::nix-non-flake/main-generated.adoc[leveloffset=+1] + +include::non-flake/main-generated.adoc[leveloffset=+1] diff --git a/source/recipes/devshell/non-flake/flake.nix b/source/recipes/devshell/nix-non-flake/flake.nix similarity index 73% rename from source/recipes/devshell/non-flake/flake.nix rename to source/recipes/devshell/nix-non-flake/flake.nix index 560bc6e..b4b97a6 100644 --- a/source/recipes/devshell/non-flake/flake.nix +++ b/source/recipes/devshell/nix-non-flake/flake.nix @@ -11,15 +11,15 @@ outputs = { self, nixpkgs, flake-utils, hello-nix }: flake-utils.lib.eachDefaultSystem (system: let - pkgs = import nixpkgs { inherit system; }; + pkgs = import nixpkgs { + inherit system; + }; + helloNix = import hello-nix { inherit pkgs; }; in { devShells = rec { default = pkgs.mkShell { - shellHook = - '' - PATH=${hello-nix}:$PATH - ''; + packages = [ helloNix ]; }; }; } diff --git a/source/recipes/devshell/nix-non-flake/main.adoc0 b/source/recipes/devshell/nix-non-flake/main.adoc0 new file mode 100644 index 0000000..b468d49 --- /dev/null +++ b/source/recipes/devshell/nix-non-flake/main.adoc0 @@ -0,0 +1,62 @@ += Access a non-flake package (not in nixpkgs) + +//// +$ mkdir tempwork +$ cd tempwork +$ cp ../flake.nix flake.nix +$ git add flake.nix +$ nix develop +$ git add flake.lock +$ git commit -a -m temp +//// + +In this example, we will use a nix package (not a flake) defined in a remote git repo. +However, you can use any of the flake reference styles defined in <<#flakeref>>. + +First, we need to check if the nix derivation depends on `nixpkgs`. + +== If the nix derivation does not require nixpkgs. + +[source,nix,linenums,highlight='5..8,17'] +.flake.nix +.... +$# cat flake.nix +.... + +Lines ??? fetches the git repo for `hello-nix`. +However, it is not a flake, so we have to build it; +this is done in line ???. + +Here's a demonstration using the shell. + +.... +$ hello-nix # this will fail +$# ../../../../../start-shell nix develop <>. - -[source,nix,linenums,highlight='5..7,17..20'] -.flake.nix -.... -$# cat flake.nix -.... - -Here's a demonstration using the shell. - -.... -$ hello-nix # this will fail -$# ../../../../../start-shell nix develop < /Creator /Producer (Asciidoctor PDF 2.3.19, based on Prawn 2.4.0) -/ModDate (D:20250906194333+01'00') +/ModDate (D:20250906194534+01'00') /CreationDate (D:19800101000000+00'00') >> endobj @@ -31610,7 +31610,7 @@ endobj >> endobj 200 0 obj -<< /Length 12420 +<< /Length 12696 >> stream q @@ -31870,12 +31870,42 @@ ET 0.2 0.2 0.2 scn 0.2 0.2 0.2 SCN -2.35578 Tw +0.56225 Tw BT 48.24 592.566 Td /F1.0 10.5 Tf -<7265636f6d6d656e64207468617420796f7520646f2061207765622073656172636820666f7220d26e6978206c616e6775616765d32c20616e642074727920746f2066696e64207265736f757263657320746861742077657265> Tj +<7265636f6d6d656e64207468617420796f7520646f2061207765622073656172636820666f7220226e697820> Tj +ET + + +0.0 Tw +0.0 0.0 0.0 SCN +0.0 0.0 0.0 scn +0.2 0.2 0.2 scn +0.2 0.2 0.2 SCN + +0.56225 Tw + +BT +284.66775 592.566 Td +/F4.0 10.5 Tf +<6c616e67756167652d6e616d65> Tj +ET + + +0.0 Tw +0.0 0.0 0.0 SCN +0.0 0.0 0.0 scn +0.2 0.2 0.2 scn +0.2 0.2 0.2 SCN + +0.56225 Tw + +BT +359.64825 592.566 Td +/F1.0 10.5 Tf +<222c20616e642074727920746f2066696e64207265736f757263657320746861742077657265> Tj ET @@ -76662,547 +76692,547 @@ xref 0000507044 00000 n 0000507090 00000 n 0000507679 00000 n -0000520154 00000 n -0000520552 00000 n -0000520721 00000 n -0000530929 00000 n -0000531326 00000 n -0000531372 00000 n -0000549027 00000 n -0000549403 00000 n -0000549457 00000 n -0000549595 00000 n -0000557126 00000 n -0000557496 00000 n -0000557548 00000 n -0000557678 00000 n -0000557890 00000 n -0000571157 00000 n -0000571527 00000 n -0000571573 00000 n -0000571619 00000 n -0000592407 00000 n -0000592790 00000 n -0000592836 00000 n -0000592883 00000 n -0000615955 00000 n -0000616313 00000 n -0000628541 00000 n -0000628898 00000 n -0000641917 00000 n -0000642287 00000 n -0000642333 00000 n -0000642379 00000 n -0000643805 00000 n -0000644149 00000 n -0000659486 00000 n -0000659909 00000 n -0000659955 00000 n -0000660148 00000 n -0000660194 00000 n -0000660240 00000 n -0000660287 00000 n -0000660415 00000 n -0000672558 00000 n -0000672972 00000 n -0000673187 00000 n -0000673233 00000 n -0000684970 00000 n -0000685340 00000 n -0000685386 00000 n -0000685432 00000 n -0000685478 00000 n -0000701281 00000 n -0000701677 00000 n -0000701723 00000 n -0000701847 00000 n -0000701979 00000 n -0000723591 00000 n -0000723988 00000 n -0000724034 00000 n -0000743763 00000 n -0000744120 00000 n -0000754957 00000 n -0000755314 00000 n -0000755360 00000 n -0000755406 00000 n -0000766416 00000 n -0000766813 00000 n -0000766859 00000 n -0000766905 00000 n -0000782137 00000 n -0000782589 00000 n -0000782635 00000 n -0000782769 00000 n -0000782985 00000 n -0000783031 00000 n -0000783077 00000 n +0000520430 00000 n +0000520828 00000 n +0000520997 00000 n +0000531205 00000 n +0000531602 00000 n +0000531648 00000 n +0000549303 00000 n +0000549679 00000 n +0000549733 00000 n +0000549871 00000 n +0000557402 00000 n +0000557772 00000 n +0000557824 00000 n +0000557954 00000 n +0000558166 00000 n +0000571433 00000 n +0000571803 00000 n +0000571849 00000 n +0000571895 00000 n +0000592683 00000 n +0000593066 00000 n +0000593112 00000 n +0000593159 00000 n +0000616231 00000 n +0000616589 00000 n +0000628817 00000 n +0000629174 00000 n +0000642193 00000 n +0000642563 00000 n +0000642609 00000 n +0000642655 00000 n +0000644081 00000 n +0000644425 00000 n +0000659762 00000 n +0000660185 00000 n +0000660231 00000 n +0000660424 00000 n +0000660470 00000 n +0000660516 00000 n +0000660563 00000 n +0000660691 00000 n +0000672834 00000 n +0000673248 00000 n +0000673463 00000 n +0000673509 00000 n +0000685246 00000 n +0000685616 00000 n +0000685662 00000 n +0000685708 00000 n +0000685754 00000 n +0000701557 00000 n +0000701953 00000 n +0000701999 00000 n +0000702123 00000 n +0000702255 00000 n +0000723867 00000 n +0000724264 00000 n +0000724310 00000 n +0000744039 00000 n +0000744396 00000 n +0000755233 00000 n +0000755590 00000 n +0000755636 00000 n +0000755682 00000 n +0000766692 00000 n +0000767089 00000 n +0000767135 00000 n +0000767181 00000 n +0000782413 00000 n +0000782865 00000 n +0000782911 00000 n +0000783045 00000 n +0000783261 00000 n 0000783307 00000 n -0000783549 00000 n -0000799399 00000 n -0000799795 00000 n -0000799841 00000 n -0000799964 00000 n -0000800095 00000 n -0000800141 00000 n -0000815671 00000 n -0000816041 00000 n -0000843508 00000 n -0000843892 00000 n -0000843938 00000 n -0000856163 00000 n -0000856520 00000 n -0000856566 00000 n -0000861801 00000 n -0000862145 00000 n -0000871436 00000 n -0000871806 00000 n -0000871852 00000 n -0000872309 00000 n -0000872355 00000 n -0000872401 00000 n -0000872447 00000 n -0000872493 00000 n -0000872539 00000 n -0000881639 00000 n -0000882022 00000 n -0000882068 00000 n -0000882114 00000 n -0000882160 00000 n -0000882396 00000 n -0000882442 00000 n -0000882488 00000 n -0000882975 00000 n -0000883021 00000 n -0000883147 00000 n -0000896016 00000 n -0000896431 00000 n -0000896477 00000 n -0000896523 00000 n -0000896570 00000 n -0000896698 00000 n -0000896745 00000 n -0000928468 00000 n -0000928865 00000 n -0000928912 00000 n -0000945470 00000 n -0000945854 00000 n -0000945901 00000 n -0000945948 00000 n -0000967331 00000 n -0000967747 00000 n -0000967793 00000 n -0000967918 00000 n -0000983022 00000 n -0000983420 00000 n -0000983466 00000 n -0001016123 00000 n -0001016507 00000 n -0001016554 00000 n -0001050783 00000 n -0001051180 00000 n -0001051226 00000 n -0001066286 00000 n -0001066670 00000 n -0001066716 00000 n -0001066846 00000 n -0001066976 00000 n -0001067101 00000 n -0001067228 00000 n -0001067350 00000 n -0001067472 00000 n -0001067597 00000 n -0001067726 00000 n -0001067855 00000 n -0001067980 00000 n -0001068107 00000 n -0001068235 00000 n -0001068374 00000 n -0001068514 00000 n -0001068644 00000 n -0001068775 00000 n -0001068916 00000 n -0001069059 00000 n -0001069182 00000 n -0001069307 00000 n -0001069431 00000 n -0001069556 00000 n -0001069679 00000 n -0001069805 00000 n -0001069928 00000 n -0001070052 00000 n -0001070177 00000 n -0001070303 00000 n -0001070425 00000 n -0001070548 00000 n -0001070669 00000 n -0001070792 00000 n -0001070913 00000 n -0001071035 00000 n -0001071158 00000 n -0001071283 00000 n -0001071421 00000 n -0001071561 00000 n -0001071687 00000 n -0001071814 00000 n -0001071938 00000 n -0001072062 00000 n -0001072186 00000 n -0001072311 00000 n -0001072436 00000 n -0001072563 00000 n -0001072696 00000 n -0001072829 00000 n -0001072964 00000 n -0001073098 00000 n -0001073239 00000 n -0001073380 00000 n -0001073512 00000 n -0001073643 00000 n -0001073776 00000 n -0001073910 00000 n -0001074043 00000 n -0001074177 00000 n -0001074328 00000 n -0001074479 00000 n -0001074612 00000 n -0001074744 00000 n -0001074874 00000 n -0001075003 00000 n -0001075135 00000 n -0001075268 00000 n -0001075410 00000 n -0001075553 00000 n -0001075695 00000 n -0001075838 00000 n -0001075986 00000 n -0001076135 00000 n -0001076265 00000 n -0001076394 00000 n -0001076523 00000 n -0001076653 00000 n +0000783353 00000 n +0000783583 00000 n +0000783825 00000 n +0000799675 00000 n +0000800071 00000 n +0000800117 00000 n +0000800240 00000 n +0000800371 00000 n +0000800417 00000 n +0000815947 00000 n +0000816317 00000 n +0000843784 00000 n +0000844168 00000 n +0000844214 00000 n +0000856439 00000 n +0000856796 00000 n +0000856842 00000 n +0000862077 00000 n +0000862421 00000 n +0000871712 00000 n +0000872082 00000 n +0000872128 00000 n +0000872585 00000 n +0000872631 00000 n +0000872677 00000 n +0000872723 00000 n +0000872769 00000 n +0000872815 00000 n +0000881915 00000 n +0000882298 00000 n +0000882344 00000 n +0000882390 00000 n +0000882436 00000 n +0000882672 00000 n +0000882718 00000 n +0000882764 00000 n +0000883251 00000 n +0000883297 00000 n +0000883423 00000 n +0000896292 00000 n +0000896707 00000 n +0000896753 00000 n +0000896799 00000 n +0000896846 00000 n +0000896974 00000 n +0000897021 00000 n +0000928744 00000 n +0000929141 00000 n +0000929188 00000 n +0000945746 00000 n +0000946130 00000 n +0000946177 00000 n +0000946224 00000 n +0000967607 00000 n +0000968023 00000 n +0000968069 00000 n +0000968194 00000 n +0000983298 00000 n +0000983696 00000 n +0000983742 00000 n +0001016399 00000 n +0001016783 00000 n +0001016830 00000 n +0001051059 00000 n +0001051456 00000 n +0001051502 00000 n +0001066562 00000 n +0001066946 00000 n +0001066992 00000 n +0001067122 00000 n +0001067252 00000 n +0001067377 00000 n +0001067504 00000 n +0001067626 00000 n +0001067748 00000 n +0001067873 00000 n +0001068002 00000 n +0001068131 00000 n +0001068256 00000 n +0001068383 00000 n +0001068511 00000 n +0001068650 00000 n +0001068790 00000 n +0001068920 00000 n +0001069051 00000 n +0001069192 00000 n +0001069335 00000 n +0001069458 00000 n +0001069583 00000 n +0001069707 00000 n +0001069832 00000 n +0001069955 00000 n +0001070081 00000 n +0001070204 00000 n +0001070328 00000 n +0001070453 00000 n +0001070579 00000 n +0001070701 00000 n +0001070824 00000 n +0001070945 00000 n +0001071068 00000 n +0001071189 00000 n +0001071311 00000 n +0001071434 00000 n +0001071559 00000 n +0001071697 00000 n +0001071837 00000 n +0001071963 00000 n +0001072090 00000 n +0001072214 00000 n +0001072338 00000 n +0001072462 00000 n +0001072587 00000 n +0001072712 00000 n +0001072839 00000 n +0001072972 00000 n +0001073105 00000 n +0001073240 00000 n +0001073374 00000 n +0001073515 00000 n +0001073656 00000 n +0001073788 00000 n +0001073919 00000 n +0001074052 00000 n +0001074186 00000 n +0001074319 00000 n +0001074453 00000 n +0001074604 00000 n +0001074755 00000 n +0001074888 00000 n +0001075020 00000 n +0001075150 00000 n +0001075279 00000 n +0001075411 00000 n +0001075544 00000 n +0001075686 00000 n +0001075829 00000 n +0001075971 00000 n +0001076114 00000 n +0001076262 00000 n +0001076411 00000 n +0001076541 00000 n +0001076670 00000 n 0001076799 00000 n -0001076946 00000 n -0001077085 00000 n -0001077223 00000 n -0001077346 00000 n -0001077469 00000 n -0001077588 00000 n -0001077707 00000 n -0001077832 00000 n -0001077958 00000 n -0001078082 00000 n -0001078206 00000 n -0001078364 00000 n -0001078522 00000 n -0001078642 00000 n -0001078764 00000 n -0001078898 00000 n -0001079031 00000 n -0001079185 00000 n -0001079339 00000 n -0001079496 00000 n -0001079652 00000 n -0001079807 00000 n -0001079961 00000 n -0001080086 00000 n -0001080212 00000 n -0001080338 00000 n -0001080464 00000 n -0001080598 00000 n -0001080731 00000 n -0001080865 00000 n -0001080998 00000 n -0001081121 00000 n -0001081245 00000 n -0001081373 00000 n -0001081501 00000 n -0001081630 00000 n -0001081759 00000 n -0001081888 00000 n -0001082018 00000 n -0001082144 00000 n -0001082269 00000 n -0001082404 00000 n -0001082538 00000 n -0001082668 00000 n -0001082797 00000 n -0001082921 00000 n -0001083046 00000 n -0001083166 00000 n -0001083286 00000 n -0001083407 00000 n -0001083528 00000 n -0001083658 00000 n -0001083787 00000 n -0001083929 00000 n -0001084070 00000 n -0001084204 00000 n -0001084337 00000 n -0001084476 00000 n -0001084615 00000 n -0001084751 00000 n -0001084889 00000 n -0001085024 00000 n -0001085159 00000 n -0001085302 00000 n -0001085444 00000 n -0001085583 00000 n -0001085721 00000 n -0001085843 00000 n -0001085964 00000 n -0001086103 00000 n -0001086241 00000 n -0001086393 00000 n -0001086544 00000 n -0001086680 00000 n -0001086816 00000 n -0001086962 00000 n -0001087109 00000 n -0001087236 00000 n -0001087363 00000 n -0001087514 00000 n -0001087664 00000 n -0001087789 00000 n -0001087913 00000 n -0001088048 00000 n -0001088182 00000 n -0001088316 00000 n -0001088449 00000 n -0001088569 00000 n -0001088689 00000 n -0001088827 00000 n -0001088964 00000 n -0001089118 00000 n -0001089271 00000 n -0001089407 00000 n -0001089543 00000 n -0001089698 00000 n -0001089852 00000 n -0001089978 00000 n -0001090103 00000 n -0001090240 00000 n -0001090376 00000 n -0001090512 00000 n -0001090647 00000 n -0001090768 00000 n -0001090889 00000 n -0001091053 00000 n -0001091216 00000 n -0001091381 00000 n -0001091545 00000 n -0001091667 00000 n -0001091788 00000 n -0001091938 00000 n -0001092087 00000 n -0001092242 00000 n -0001092396 00000 n -0001092547 00000 n -0001092697 00000 n -0001092859 00000 n -0001093020 00000 n -0001093170 00000 n -0001093319 00000 n -0001093453 00000 n -0001093586 00000 n -0001093754 00000 n -0001093921 00000 n -0001094050 00000 n -0001094178 00000 n -0001094299 00000 n -0001094420 00000 n -0001094590 00000 n -0001094759 00000 n -0001094890 00000 n -0001095020 00000 n -0001095208 00000 n -0001095402 00000 n -0001095594 00000 n -0001095781 00000 n -0001095978 00000 n -0001096174 00000 n -0001096370 00000 n -0001096501 00000 n -0001096633 00000 n -0001096803 00000 n -0001096972 00000 n -0001097103 00000 n -0001097233 00000 n -0001097423 00000 n -0001097619 00000 n -0001097813 00000 n -0001098002 00000 n -0001098167 00000 n -0001098331 00000 n -0001098472 00000 n -0001098613 00000 n -0001098773 00000 n -0001098932 00000 n -0001099011 00000 n -0001099200 00000 n -0001099392 00000 n -0001099576 00000 n -0001099821 00000 n -0001099983 00000 n -0001100171 00000 n -0001100367 00000 n -0001100605 00000 n -0001100867 00000 n -0001101109 00000 n -0001101322 00000 n -0001101488 00000 n -0001101672 00000 n -0001101912 00000 n -0001102092 00000 n -0001102264 00000 n -0001102436 00000 n -0001102644 00000 n -0001102818 00000 n -0001103066 00000 n -0001103258 00000 n -0001103467 00000 n -0001103645 00000 n -0001103831 00000 n -0001104076 00000 n -0001104294 00000 n -0001104540 00000 n -0001104781 00000 n -0001104999 00000 n -0001105231 00000 n -0001105517 00000 n -0001105733 00000 n -0001105966 00000 n -0001106181 00000 n -0001106458 00000 n -0001106735 00000 n -0001107014 00000 n -0001107252 00000 n -0001107467 00000 n -0001107750 00000 n -0001108024 00000 n -0001108203 00000 n -0001108380 00000 n -0001108585 00000 n -0001108838 00000 n -0001109157 00000 n -0001109371 00000 n -0001109590 00000 n -0001109907 00000 n -0001110232 00000 n -0001110535 00000 n -0001110765 00000 n -0001110956 00000 n -0001111189 00000 n -0001111422 00000 n -0001111605 00000 n -0001111810 00000 n -0001112019 00000 n -0001112218 00000 n -0001112439 00000 n -0001112688 00000 n -0001112946 00000 n -0001113121 00000 n -0001113290 00000 n -0001113449 00000 n -0001113678 00000 n -0001113955 00000 n -0001114229 00000 n -0001114460 00000 n -0001114701 00000 n -0001114930 00000 n -0001115177 00000 n -0001115472 00000 n -0001115660 00000 n -0001115895 00000 n -0001116234 00000 n -0001116433 00000 n -0001116676 00000 n -0001116885 00000 n -0001117198 00000 n -0001117403 00000 n -0001117636 00000 n -0001117851 00000 n -0001118035 00000 n -0001118266 00000 n -0001118575 00000 n -0001118816 00000 n -0001119129 00000 n -0001119334 00000 n -0001119567 00000 n -0001119782 00000 n -0001119999 00000 n -0001120367 00000 n -0001120714 00000 n -0001120910 00000 n -0001121161 00000 n -0001121446 00000 n -0001121715 00000 n -0001122028 00000 n -0001122279 00000 n -0001122533 00000 n -0001122892 00000 n -0001123091 00000 n -0001123297 00000 n -0001123656 00000 n -0001123870 00000 n -0001124332 00000 n -0001124812 00000 n -0001125063 00000 n -0001125423 00000 n -0001125636 00000 n -0001126097 00000 n -0001126455 00000 n -0001126706 00000 n -0001127029 00000 n -0001128265 00000 n -0001128310 00000 n -0001129088 00000 n -0001129362 00000 n -0001129636 00000 n -0001141197 00000 n -0001141411 00000 n -0001142766 00000 n -0001143682 00000 n -0001154415 00000 n -0001154634 00000 n -0001155989 00000 n -0001156905 00000 n -0001163808 00000 n -0001164021 00000 n -0001165376 00000 n -0001166292 00000 n -0001173168 00000 n -0001173392 00000 n -0001174747 00000 n -0001175662 00000 n -0001179896 00000 n -0001180124 00000 n -0001181479 00000 n -0001182394 00000 n -0001183476 00000 n -0001183698 00000 n -0001184007 00000 n -0001185146 00000 n -0001190415 00000 n -0001190627 00000 n -0001191982 00000 n -0001192897 00000 n -0001195362 00000 n -0001195575 00000 n -0001195922 00000 n -0001196846 00000 n -0001200549 00000 n -0001200759 00000 n -0001202114 00000 n -0001203029 00000 n -0001206694 00000 n -0001206908 00000 n -0001207212 00000 n +0001076929 00000 n +0001077075 00000 n +0001077222 00000 n +0001077361 00000 n +0001077499 00000 n +0001077622 00000 n +0001077745 00000 n +0001077864 00000 n +0001077983 00000 n +0001078108 00000 n +0001078234 00000 n +0001078358 00000 n +0001078482 00000 n +0001078640 00000 n +0001078798 00000 n +0001078918 00000 n +0001079040 00000 n +0001079174 00000 n +0001079307 00000 n +0001079461 00000 n +0001079615 00000 n +0001079772 00000 n +0001079928 00000 n +0001080083 00000 n +0001080237 00000 n +0001080362 00000 n +0001080488 00000 n +0001080614 00000 n +0001080740 00000 n +0001080874 00000 n +0001081007 00000 n +0001081141 00000 n +0001081274 00000 n +0001081397 00000 n +0001081521 00000 n +0001081649 00000 n +0001081777 00000 n +0001081906 00000 n +0001082035 00000 n +0001082164 00000 n +0001082294 00000 n +0001082420 00000 n +0001082545 00000 n +0001082680 00000 n +0001082814 00000 n +0001082944 00000 n +0001083073 00000 n +0001083197 00000 n +0001083322 00000 n +0001083442 00000 n +0001083562 00000 n +0001083683 00000 n +0001083804 00000 n +0001083934 00000 n +0001084063 00000 n +0001084205 00000 n +0001084346 00000 n +0001084480 00000 n +0001084613 00000 n +0001084752 00000 n +0001084891 00000 n +0001085027 00000 n +0001085165 00000 n +0001085300 00000 n +0001085435 00000 n +0001085578 00000 n +0001085720 00000 n +0001085859 00000 n +0001085997 00000 n +0001086119 00000 n +0001086240 00000 n +0001086379 00000 n +0001086517 00000 n +0001086669 00000 n +0001086820 00000 n +0001086956 00000 n +0001087092 00000 n +0001087238 00000 n +0001087385 00000 n +0001087512 00000 n +0001087639 00000 n +0001087790 00000 n +0001087940 00000 n +0001088065 00000 n +0001088189 00000 n +0001088324 00000 n +0001088458 00000 n +0001088592 00000 n +0001088725 00000 n +0001088845 00000 n +0001088965 00000 n +0001089103 00000 n +0001089240 00000 n +0001089394 00000 n +0001089547 00000 n +0001089683 00000 n +0001089819 00000 n +0001089974 00000 n +0001090128 00000 n +0001090254 00000 n +0001090379 00000 n +0001090516 00000 n +0001090652 00000 n +0001090788 00000 n +0001090923 00000 n +0001091044 00000 n +0001091165 00000 n +0001091329 00000 n +0001091492 00000 n +0001091657 00000 n +0001091821 00000 n +0001091943 00000 n +0001092064 00000 n +0001092214 00000 n +0001092363 00000 n +0001092518 00000 n +0001092672 00000 n +0001092823 00000 n +0001092973 00000 n +0001093135 00000 n +0001093296 00000 n +0001093446 00000 n +0001093595 00000 n +0001093729 00000 n +0001093862 00000 n +0001094030 00000 n +0001094197 00000 n +0001094326 00000 n +0001094454 00000 n +0001094575 00000 n +0001094696 00000 n +0001094866 00000 n +0001095035 00000 n +0001095166 00000 n +0001095296 00000 n +0001095484 00000 n +0001095678 00000 n +0001095870 00000 n +0001096057 00000 n +0001096254 00000 n +0001096450 00000 n +0001096646 00000 n +0001096777 00000 n +0001096909 00000 n +0001097079 00000 n +0001097248 00000 n +0001097379 00000 n +0001097509 00000 n +0001097699 00000 n +0001097895 00000 n +0001098089 00000 n +0001098278 00000 n +0001098443 00000 n +0001098607 00000 n +0001098748 00000 n +0001098889 00000 n +0001099049 00000 n +0001099208 00000 n +0001099287 00000 n +0001099476 00000 n +0001099668 00000 n +0001099852 00000 n +0001100097 00000 n +0001100259 00000 n +0001100447 00000 n +0001100643 00000 n +0001100881 00000 n +0001101143 00000 n +0001101385 00000 n +0001101598 00000 n +0001101764 00000 n +0001101948 00000 n +0001102188 00000 n +0001102368 00000 n +0001102540 00000 n +0001102712 00000 n +0001102920 00000 n +0001103094 00000 n +0001103342 00000 n +0001103534 00000 n +0001103743 00000 n +0001103921 00000 n +0001104107 00000 n +0001104352 00000 n +0001104570 00000 n +0001104816 00000 n +0001105057 00000 n +0001105275 00000 n +0001105507 00000 n +0001105793 00000 n +0001106009 00000 n +0001106242 00000 n +0001106457 00000 n +0001106734 00000 n +0001107011 00000 n +0001107290 00000 n +0001107528 00000 n +0001107743 00000 n +0001108026 00000 n +0001108300 00000 n +0001108479 00000 n +0001108656 00000 n +0001108861 00000 n +0001109114 00000 n +0001109433 00000 n +0001109647 00000 n +0001109866 00000 n +0001110183 00000 n +0001110508 00000 n +0001110811 00000 n +0001111041 00000 n +0001111232 00000 n +0001111465 00000 n +0001111698 00000 n +0001111881 00000 n +0001112086 00000 n +0001112295 00000 n +0001112494 00000 n +0001112715 00000 n +0001112964 00000 n +0001113222 00000 n +0001113397 00000 n +0001113566 00000 n +0001113725 00000 n +0001113954 00000 n +0001114231 00000 n +0001114505 00000 n +0001114736 00000 n +0001114977 00000 n +0001115206 00000 n +0001115453 00000 n +0001115748 00000 n +0001115936 00000 n +0001116171 00000 n +0001116510 00000 n +0001116709 00000 n +0001116952 00000 n +0001117161 00000 n +0001117474 00000 n +0001117679 00000 n +0001117912 00000 n +0001118127 00000 n +0001118311 00000 n +0001118542 00000 n +0001118851 00000 n +0001119092 00000 n +0001119405 00000 n +0001119610 00000 n +0001119843 00000 n +0001120058 00000 n +0001120275 00000 n +0001120643 00000 n +0001120990 00000 n +0001121186 00000 n +0001121437 00000 n +0001121722 00000 n +0001121991 00000 n +0001122304 00000 n +0001122555 00000 n +0001122809 00000 n +0001123168 00000 n +0001123367 00000 n +0001123573 00000 n +0001123932 00000 n +0001124146 00000 n +0001124608 00000 n +0001125088 00000 n +0001125339 00000 n +0001125699 00000 n +0001125912 00000 n +0001126373 00000 n +0001126731 00000 n +0001126982 00000 n +0001127305 00000 n +0001128541 00000 n +0001128586 00000 n +0001129364 00000 n +0001129638 00000 n +0001129912 00000 n +0001141473 00000 n +0001141687 00000 n +0001143042 00000 n +0001143958 00000 n +0001154691 00000 n +0001154910 00000 n +0001156265 00000 n +0001157181 00000 n +0001164084 00000 n +0001164297 00000 n +0001165652 00000 n +0001166568 00000 n +0001173444 00000 n +0001173668 00000 n +0001175023 00000 n +0001175938 00000 n +0001180172 00000 n +0001180400 00000 n +0001181755 00000 n +0001182670 00000 n +0001183752 00000 n +0001183974 00000 n +0001184283 00000 n +0001185422 00000 n +0001190691 00000 n +0001190903 00000 n +0001192258 00000 n +0001193173 00000 n +0001195638 00000 n +0001195851 00000 n +0001196198 00000 n +0001197122 00000 n +0001200825 00000 n +0001201035 00000 n +0001202390 00000 n +0001203305 00000 n +0001206970 00000 n +0001207184 00000 n +0001207488 00000 n trailer << /Size 737 /Root 2 0 R /Info 1 0 R >> startxref -1208127 +1208403 %%EOF