SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info b'r<|L ] WorkerWrapper:threads=4elapsed=7.417cpu=22.148gc=0.8047zXZִF! ?]ŗXiɟLe5u(g6*ˉC3 ._ (q IyF tm.+JaCR!|I,!TfS|~|; oUw3 d9w~z3QӦCڂUknil.]Bh,弥5 bZ7cu^u`VRK&/ <:yW&vmA$9 +36TԿ^oM 4}#t.aoN3q^) 1 $X۔sTiJnnI hDf?߂}rL"8\Rr(*asn߳.fSj,yu}z45Ff r(G lv㗁սw #=//QBiDl :%{FJ8F+mzDυWӔ2"j5mDDE/EiuΊ(RX"ke !9,Q~A lԱgYZ7zXZִF! 38]ŗXiɟ mLr?wl:bA8YÙ#[6E4K=m+Bt*axP8#Y:Xï4trQ^k i8DqPpq=FŲbr25Rr\W~0Nu]wίLf%nl?*o6.mgD߿á%h.rea&~ֆfMkPSu>.3>L_p^8Ce\oЈuL\:$zs[M6Ky?Q*ћxncWe('BOĥ`4Iz+ͮc^"/;6kK,3wye| Ꟊ)f&}) Y xAwap>y;K POag70aѹ;4ԧϒhOO?IˢJWAq#Й8Q6 ERpo:) g+$gGڬyk02 ?*pZfxF4B- N+#>T]G烸cyZ F_ {.lwIzo->B~ÒQbťjwYtNSҗ-VuRD Aĭ]q6k\8z H V^ X1[vwKƛΫ/I)>TY$9,rk m/p5lLs4:>cwjAcg%}a}MbQXɋQ% ^Z 9[|sY @߈DX}nA.q gYZ1d9f8a6b20eac6cf3b605f0da7f9697c4c69df5fc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 878eee2ffd686e8946590f8bfc659665ca65b0fc ' WorkerWrappery'M% |WorkerWrapperWorkerWrapper.FixedPointTheoremsdocument.tex7zXZִF! 8 ]A-MՋhvG"uIBm5kJQav\4X N0N3ovTUv4P?z'ڌr~(tc,:f؀I(%]t5\A)k]yE(%?[ٷDJR[,ң֯xP(tI+uIM6FR_sӟ@( _FIҕ>nTƉxs,Y/qSp>:EUZYU ̛"xPN-m%Բ_ 4Zz b]q.zI DX6*+2"Б_%z%6PS ;FOXR(6A&@O YNŗ)6biEBzA)]F;@3DjrPEw|ْT n}d ԯ6PǼy6#X{=X>kiJ#҃'X cV Ob `z3f|R1Kv bBV P-9FNq3}Ѣ#&n_ q&]Dq{{$V Môl!hqw4\#Vf+C Z@ٌq[tO@6d lm*\+z1!/[,XJnڗ!:yJ|א,?ը~`^'Y~Ѳʩ ‘=J?-@rNdY n :HG#E _`Jd'-ʀl* 1= )Yh脂 wc\on(̭FOPBj]w[]oB[.yj[ok66IޡK+R@C6!acr{I #)|NH)B2Nj(i-iT XJhb>|'61Ǵd!C9 dh^v~ЄHǗ*t%>Dڀۦf\mrƔ}y}HԨ RtgkYۣe'89f:_ͯ_ЕYF0F#+cnZ#A (xWRqF> 3ίP*=J wb̹.m?H%FQOYiL.j!(ed/pm0BE+aBJ_ge~IrLժENLAqbQ=UUӔlY\m M اޒUv{3~Mݽ%<p9 8+*N_B%{nmV3a SOȅQe$瑑 0zKs eʃ +w0ȟ˜kg<QJjC'4ߙ[#npT0''hٟ p̓cܲQKm?*ā ([1@TʔHN]<ٛVmJt(YF[L4+iʹ`] UtH=Ea8 )B9x }(Jb&4=I^ @íj%Q24LNmF;p{N?tZg[p3;&p \7%l<{ʖh,kn"N<û1;乍ѥFI$R+ ~B3@sP[0]#~->g9Ι$x|q3DwC+Q/h4fqH9N̟y2'PdvWH01F {dpM9Ǎ#*]ϟ\JyE$#&_KܞV*xCѧnr[ O"-ZQ,Qfx<"i^      N Bt ;'E%WorkerWrapperWorkerWrapper.CounterExampledocument.tex :'C%WorkerWrapperWorkerWrapper.WorkerWrapperdocument.tex ='I%WorkerWrapperWorkerWrapper.WorkerWrapperNewdocument.tex 1'1%WorkerWrapperWorkerWrapper.Lastdocument.tex0'/%WorkerWrapperWorkerWrapper.Nubdocument.tex4'7%WorkerWrapperWorkerWrapper.Streamsdocument.tex:'C%WorkerWrapperWorkerWrapper.Continuationsdocument.tex8'?%WorkerWrapperWorkerWrapper.UnboxedNatsdocument.tex8'?%WorkerWrapperWorkerWrapper.Accumulatordocument.tex9'A%WorkerWrapperWorkerWrapper.Backtrackingdocument.tex>'M% WorkerWrapperWorkerWrapper.FixedPointTheoremsdocument.tex{2,p n)  t4zjqٖb7n 7g&L i*wFg)R.+p $ 葮C)shDȲTGXpk:xWٷH q"+(C8I\ h =/0"c2@][*"VCo렸~/|z?t2nѧH*&ɣ.je\~NG*u,H,J",K([U'!|3[OUMO6ΎXq]}J0ҩ[>:g;q$ХXҁX2auBiaZ_?> g`*u$J$VfߜQbtѩ^2sJ MT\ӎI~2Ýhe}b3n ܔ9j\IMSRF~A&G!" ZQ^a*C8Mav (6ZLFOzV@zJPuKpC%ԏT@5 8HJy\> ê uJJ%}dc7][Io'@=J17Zu7&8LE>0g&ݑ eoe.XmD@E8a#OPvɍ)xfh4& 0bCT6Bn~- m(G=R+Y%6] "wVCjI췫Z1>oFi"#+ȣXM$Y据T`2R s~&ݑ>X6n֝+a6$L zjc~-^+UO{6#'7U_YI?3C!HTԪ:@zxvPPz^sY%ߞN2'_3à+r&)МX&`$`R⑑ ^Dy0kc6̗Ho&.ӻ<6d|qY ء a[ZINkzEd&Z&/3\Q:Vܹս[k@M%J$=IمNYJL$!%\ܒ MŲ{m7 D ^rQAZf  1k:X n[3`y{\MUF htvWL|`v=i.73_470P%H|ď]P(U?* u#,dqd$+8E&9l{MʞSm#IGw8hZ͝M5jubᶃh_LcZE,Qa$NwA}y2 ǐÁ[F趄Z0eでy 9:LsSD&B.uԣhI XHAG}dq=&/4rx{i{ltzKJVc~^E%F^UDt+ǨQ8&}A9`g9,,DQPq f'jsȤFSz][1nb#ݜyW[HG_Uz3Os;Fn..hQ5܃pnKg@k8ʻfZmf"8nVJ4e*4N{;5K崑ő?] ɱgۿ&8~[  j\Ux$,△> WN5qѩ &:c!] :nmSn 7@}"g:2UeYV}K_jTlqמ4z"ړz-b+z|E 0Eޗ=t&{B7u=PR"BeȋG>hD1Zv/zLL=cgq:hʪe`M1-bʽ[C%EcDj\nWJ%>-, 0ՔNը|m{#nqM(S=Zce2F% xl@Ux0k3+Cir55`>\oIOAl(|ad %ǜ]xcƉ jS}/o O_ʧ7M1/7k9-2#Q[3P(Ö`֬ENλ'?)45'e!p9b[;TR.Amn_4A~KEjG鮨8|>:Py7O_'@ۘj[%S4m9 ]i%[EópXmU[&;ο,nu؊<\ *tiO:RE"lbKzihj?4$9'  q^ \!PM HQ >7su[3nqPY(UE^k0^}XKGxꮋ>C>Gej*}>̗9Œ^oM5tGϧ/}u@-60lVdOB_Z|R,KH벿^i5ƵV\̂,q6)mCPw3DxA$M$AQ2GDaٌ:7dG_w *L?`V:52_zVڇ@g4-"GXPgN D>`!n),-$'f"3%FxD.;55ԓwjejJM'Xkck>_!HlAMce U(u9XC&P>!9$喦x\*a4t2U ^5T*Af} JEl—,y}7[uH3{/= I=VM{IYc}~ OJ-s(9?@,}'"$ bcb!?) $rC)9ϳo 3(IZ/S"Agơ:g멎zB@V+ղfX/t =q&[]DHem| rzWK- 1=HSʥtW_;"hۯYUpԚ"b1 N`qc6BEe|ٌhZS4܅guLA͞ ɢעPd}_zسQoDwrʵK.h 7z;:_+;vyVΓ>E7,`V3_7`$?y "/#I>p XCl^z1;@><5cp8ƹ78_.Dב3Mt8.\m?fEr]yGϓi]nTƉxs,Y/qSp>:EUZYU ̛"xPN-m%Բ_ 4Zz b]q.zI DX6*+2"Б_%z%6PS ;FOXR(6A&@O YNŗ)6biEBzA)]F;@3DjrPEw|ْT n}d ԯ6PǼy6#X{=X>kiJ#҃'X cV Ob `z3f|R1Kv bBV P-9FNq3}Ѣ#&n_ q&]Dq{{$V Môl!hqw4\#Vf+C Z@ٌq[tO@6d lm*\+z1!/[,XJnڗ!:yJ|א,?ը~`^'Y~Ѳʩ ‘=J?-@rNdY n :HG#E _`Jd'-ʀl* 1= )Yh脂 wc\on(̭FOPBj]w[]oB[.yj[ok66IޡK+R@C6!acr{I #)|NH)B2Nj(i-iT XJhb>|'61Ǵd!C9 dh^v~ЄHǗ*t%>Dڀۦf\mrƔ}y}HԨ RtgkYۣe'89f:_ͯ_ЕYF0F#+cnZ#A (xWRqF> 3ίP*=J wb̹.m?H%FQOYiL.j!(ed/pm0BE+aBJ_ge~IrLժENLAqbQ=UUӔlY\m M اޒUv{3~Mݽ%<p9 8+*N_B%{nmV3a SOȅQe$瑑 0zKs eʃ +w0ȟ˜kg<QJjC'4ߙ[#npT0''hٟ p̓cܲQKm?*ā ([1@TʔHN]<ٛVmJt(YF[L4+iʹ`] UtH=Ea8 )B9x }(Jb&4=I^ @íj%Q24LNmF;p{N?tZg[p3;&p \7%l<{ʖh,kn"N<û1;乍ѥFI$R+ ~B3@sP[0]#~->g9Ι$x|q3DwC+Q/h4fqH9N̟y2'PdvWH01F {dpM9Ǎ#*]ϟ\JyE$#&_KܞV*xCѧnr[ O"-ZQ,Qfx<"i^Y)aqr!rmgYZ p Np:'?% WorkerWrapperWorkerWrapper.UnboxedNatsdocument.tex7zXZִF! ĺ]A-MՋhvG"uIBm59pȗ8XH_Wѽm#J,$鿞nbXK,~V!.&p^KUc@e\\S'SCSv5T|l HbH;<2*RZ<܈Mo%.udM L2q);Gds7 1c'yD40H9OcUw fA?Yؔ}dКEC^Goj@ע~P\W^sYY]1fu5O5sqyf|6ea6TݲKN3KH[Y!V#ԀkX@iJyQBoѢٌ2_}uMR-!QYQ`aϬb v>.#bkhՏq N> M`[gl-):;ݡ<Ѹʼ79M3N=٤UjJLm HJ Y gUOZEAS/W>j< W e,S^x|k6}5|LuDL Ni%U&fz6A¨}\ /k2&ifT 6B'X1:*9z $-TU\D ӈ.װ#gY!7VTj}W,_3/~b[aGm.ꅮm("4^cGr[iCh 1C=k '?% 4WorkerWrapperWorkerWrapper.Accumulatordocument.tex7zXZִF! ]A-MՋhvG"uIBm5yg\ Oq " 7 G1-tCv>ن h7@k-vm-ڽࠑ LJaoZms F JYt+ݤu&Q[rp1(u/ȯ ylRZe3A٫|l,i)?1=>s)7BrGц|]ǹޟIl  ٚy[Wѭ8wfE|i& EY65~xP'7^ >\Vy6z0h' z`ٵK1p f>pDՇq6ʒkFcZo`7%OA0]T }TGtٓ  X[4۳ס@vLš0r)b}w?r.ޗ Hs#s0$*he4b'0z:Z#~6 zԾ;%\`-eBG};G ?4lN=$W Z3;Vio?ԕ:Qڊoljqj fE|%AH%Oia԰B;Rv" ''A% dWorkerWrapperWorkerWrapper.Backtrackingdocument.tex7zXZִF! *]A-MՋhvG"uIBm5A4,Fv3J*3l啹6GAxAD0L?j_8[N._Ou>kK`fT< S4!1!$yBKZȄ-b `Ą4`2JT|;=81K^=}%A_:Ս%Nr1TR˸\$Nŏ=| ׭o޾ʛp~?'ܝOv ;7V֦b{c*HaB}-jX' >O?mLx}d>'4%.ּb#==lN9PM7N&n mO-جLh^ufAJlE3.}Z&M'w?$9mL [4ְcknnyrNRauEup*A@ Rʕ,?Xvd*v.2>weotcB=^߇:#*=Աi%))~m]evv}^Mse.]<y`$tN'@YE z|&>(5UM?HBN vʈ @auYݜRuzE;5,usLld?ďLgؔ'-Xxd@v.wǷ|cU *@+S 4AIJFs*7jD+iGebV[X"GHWr0?WvN?mO%˕F4_@>-/h0$%g {h1)C3>~tt^gB,Kt RT>Kte$,䇩7&YV+Lv “V/JRՏR5U@}t9OwO H+}cY mڏcCNGFo%jZq VXp{ ʻ6/&)찭PT)b~JM4lKa<*#%+\UFG0o~ E,0LӇ)ÓN,j)Tq7d]=HVZo3dmuh!D WoS3[R@)kXj/ll9sER?-#ۚCc@]Vf'L9pFϼ"neC \H%R0;_u8C\3"4m?[9TmES! 6[\Q +im0A)Q^~}xUq _lp4eE %!0uHX9W|}y @RdUF}z#o nvCa ss?tH?1S>N.qNmAoqdg {QUpqu?%-u'PVlUΎmew :;7}.ǁ#\x(H⑑$y"SB>]FM *^6hţ p}uJb=,%LxԤ~Ņ{`r rس8~#rxV\j(T}Od]Lb[n4BͮUPƈj 6niï^kyR2]~1l<C`L&y'9#,_78W= q~ms@YǨ! 54\{zx <wAy-Phm19`7a3}C\)xah=Mڸed֋ q1)~ܝWisko[>a_>$Q}ޠCGr's;,M J 3:C16#_O9oØ1Z#:b9 ӍKcl$Z $ّ 89̛o#As)ZGKu\>rJa¸W48Β r1irp7M$Knw%ށTom }C W4 mLi>r!JvWo!'!J(JXLs@'LZjN NUNe#_|kBa.CxSE EYGkF6Uϥm?|[?;M 4Va,zrV'ܑ+b5s*s9E B~!*P+~3BnQЅwgrNW>(Xi ^*Ye5Д3у?dKu!cؖåbYtGa&,ͱWb.L?כ uc)ڵHC>dj ڋk]!nY+Y% H!q$mE|'he+Tx4!cU6 .%Z{ Hm:DC4Yta;#YIU؜ p>@;)^:|i%7=ȅqƥz1xאhCPwZ 5GPZT-~$q=_W 3Nb.z8N8gyk mQч!=9m$s6[O> B?&j1R!UM㼥KN0ׂ9Ћ@l@M-\l:DO{_ LJ, DyXĘy)uPeLP :nn-QK'y/>W>D?B- k)>_3wk[g EOZ.<䊏-AQaU[uEwiU m\ǘFiֻ,%VGh/=V"y}&,DtSբɧnjlEbGI>&)2>)FUd;vҐ2(1$|6*V;[Fgqa>^!W,c kVٚwv{*5bb@=" P5<{;x i>whutug_< T-FE@Zj>E8+x05_"Y<*u}9~q[]Iy j}*3N3֍Vd=DvcA;?sY /zyTOsIJ4xt(hTb*kǍ2 6[qԏ9f<+d5]sa(i~iu|l:ڔ#OOm\?ӱwOed#L~oȓ6lNh$O`9\' 4g ?l&6qJ\PKHn`L<1wb"\¬DSA{#qnIٻI?^$_Xac`+eMdn,1Boչ޷u6o tf2xf*?*ٴ -c,#_J4\:|-y$x:zjjRh)ݧ@3-ϛM,cXGs=7f@0@(-<0N1>J0D4_:En-"YBEf\>N ' ywe-LlL߲L4o(Kٖ9gYZ't緝X=ߑm- )+f"(lS}  h ~ }ÿ\Vslh͓dצ{g^0^]qT5K+GbȅnmaPNÛ}fKS(S/Zl|?Y_j+ơZcLG3ƈ),ܬ# u&"Nq>?`V&p?=&gR{X߾Vӎhy:`@P8x"KŅdzTٰqY>E.S.㌇Dj /6=ۿs{ˌn ~՗iF1|jǥĩf JŀvE @(KZ~jچ OXK RQt6oz&yZSE8븥֨96Gz&gb1 ӭ[UY#>~ pơ@}dA_~h 's(KF#KL)BkLtGRFog ;0y3ag-A+'0Uꆗo}9PYSd~>8\Q ݾz"lzt3f=GOqjW74&~ flhvoR~O8ݶ}A_(2z.8؊>%n*A夺ll l3EIzդaE5a+W'^߈\RZ*%0~$0A ObҫDk7}/hebBP5euy[N.1@=-[}SD$CoIT#gb\9lA-NyIСLHuv>'|0FPwok+j 26KU qP MI-?>S ݛٮ en8Q2'Tƍdj`GBoH}bf=T}$y%IMd)`5O]eO@Siᢼꇧy!m%iG^tf flXE5< K r2qbIM\FHdMSŻ%L~=yg'3l'ß<[KKbRk`:T6a.ԢtEb 4ӟ8S>U 8kUPYR8jº?4AtOËb@Mi8щ1P1Z8jjDwMGeo/9N̄9c >jv6T݈Át;D9eve31{`HYequ QqiN식]eK[(5n&DžN&2+}Mrd++4ú\oxF'# Gi/blz5}WX7a- d:IEO^Jݜw9yb:: r!-mV+Kweuؕh0B42l/BiOD>9?qgƼT m"7-şRѓ|E5⼔LGoИ%c29JV@&A)iU$,wlRhD\{8>E16eJz BgH݉fDŊU}W%MB R%nxkD)rX~uԕHŋM=gH@$2!ik>"T3]ЋgM7Yt= Idoٯ8M!['$gRӚ[F^u`W󸼟+"S`j\07L$|1+#)&[#zU=u@P_(E"EO,L v7(4|̃;<|{.G7IݾM1P5}O{Cfr.}obBgSA?L2n97׋~CvRFW;Wl_e]G,+1c!miq#JM\gFE#"J ?PQ9兏8sRRT,p 4 S̺pQ.Uߨb<ĖHJ$Li=6g-|ٸȁUl ]vcUm/|t2@ _^l> Bny'Vgt3*n(T&XRX.@~muC?,,eol0[s{ߍ~-XQfdޘEz\~aRva;H\,Gv)\SQg /!l%׮%):/蜜j'452l{o=GN-ZC+ ysV-۝FYҰ>$:ǿ /))%?(v 枾)~ɔA(`h",0'Pd$&1Gu3 Yz3X_Jhlp=ŀ>Sۋ D05ǶZM0 oFE тsme SNZ``^6 PJM&}_*e#$SѺzwY0:WNtR:4+G@} fQ`&cs KJĻZaFs.0îጨTf{|Ä8c/+{{B$lzu^uºl &A|;KP8ST]}$\L2q8ojwP҆(KVMH bc@aYW?>ئ|{[Kh ]!XD &y54b B2LW(*]MצuH vZ\inLX'p+qK_0Z HF>¶8MzI>F˲c/ >y>H il\zSv*K}Þ'$ՍɄL/[A)"K)ȄQ*vןw÷`~A ]5:ȃҞ|prrT]܆Mu3bWCAQ>3JN4q1}L.aƟB w&:snlLN똍#Crxσ 'azGjlܒNȺWH/r&J?mw F ߔBun﹟eԿ˧J}j8tT#w1Ҭ*G~ ۨZw "GiHڂnw4wIup$Y *Q}3;_gotP [H"ZV dN2+mNPNpAEU h[%ew*M>=_IaDsKv\ǃRKR~J*7s fl(QQA/A =0 E*Wyg@r*Dz_zj2P%"7gYZ x'C% WorkerWrapperWorkerWrapper.Continuationsdocument.tex7zXZִF! s9 {]A-MՋhvG"uIBm5Wq#*!p:ni oh€)"_Uz  weJ:45kf֨s L%O%:k*y=l*uf2sĽG)xЬ0&sH;F+CpQ IQ"ͦABVC:ēS{Zj|@ڌ>Em3v yKa/20~.z+kOfD{C%dKDqE\lxBڛz-J R䤉~ jS9j &kIn,@ PzX WnQQzZTu4*x|}{ XA]''A*\!6^ K" { u/ĬoZ}}k*˶ T+ R[h:X%&6hfiuqCI9dad+<\XMF*KP(?~ҥ;T2nGd=9bC ewW0#7c>:aQ_%s(A+r`\v#%/-ezĦ;?zx8KY9ܳtD~ p%?,ߋۭ4ˉj@۱]kv 1[]n:>D[F0a@'f!8{_RXVϪ=,& pnu~͍YKk܅?X|C H8y/;C> TIY;H997I\<\{Ygȝƞ^j /ӗd^葅n6M<95 s:jT59gԿL-?Yk0@J0<ҧE#`MźH|hԿÜ&|5vJ:ymGŰc_>FQÍ'o&ͷd6$ܒq4> uڐXUʖQ?63pߨ/LR]sgD c ^WM7W2e~SsG%~rا  Pj30 0dt{(b{ܛ;0@jh {0,y,C=c IB9H WwCՑVh̬,19]Ϡ\/Kxo4kD#FS6>[< JEcڎ.Ц>AZ!|dg@]PesvF/kgWP"/n{r fv(P@Ee$ReVg Д6-n !T &D#q͙ȏ%8;ԇGJ֔Z0m`w`*Cn%UoNٖ;3 }̓E`gZdh,C\5,D39dĄ&P={Å@߈ڣ C \`[2\UOX9 QmRɏl z5=#^BL,.ec#ToVA-L%ӛܰo/|UqƙWm !I4p4f_Z8Cһs/tX^"Ҿ/]6HӜ-C7OH.)ܙ`*J,XYWNu'{=Y}ݧ;AeʻGjamʕ?Ljn.=8Ti0f`w}8P LcR'!xm"r,&Pї|2]R^E߶y*x^dlLR0r ˅dA2yov$q2Z\j tZrAq%"`J?q&i,a~ebZ ؀[9s<n,:`_|+mC CpSr»J'#m`?AIWO|icZUaubz5ۇènT ဖdbҼXp]!RߦEهӻ>->v`b)AZ1k] &3- ܿ42F%xV@_`z`DIGSA㋻d~ϠЅse"G5ܼfoF#9Gz7/iB(+7ϲfy;WUQRG$o P*iu% "?̽emdr٦cY ;σ7DzG+p!ȜdxI |:{%zCWH1DmV;07x FpĨ$hRR->` cٳx%e@VGBHS۴`:"zĒkOIzhwCbPbG5cM4м ҷ 6+ޢ,qu_HVılu,UPP+F gnp |JsE {7Uhγ} 7ز6ќ+xD] JZ8b,O4\g'ó:U'Tq!,̡*=ak:33%vj~xi7PAuwYxpx0 "X6t|^MĮabNu0"xJ g"畬eؚ\j4$N>.^{ȥ6%93Ar7Y<&FS4N;8 =??w̶`BB сXZf#sn{[>ĉQېJlM_M~+h!NRAQs4&N˭GMX4 f0\+_8^dY 'PSoA01BM*yaEӰRX%kߞXǀID>jDzU&eluJ: z*15?fdCguQ2= 7Q?|~&آEʪ/U>žHeX+5y} 6qtfӡ~;s=n)6^Yʎ9٣8/+7 zʿҦ} xɢٗ - }Ɔ{|gqܣO{\La™\с߬1MU{X p݊Y9tF4gp{Xm:l.Djb}vdX=^c ג>bd\FZ$WJƗtcҪtp;A-"`5rZ=aBpu+STnP Sa}+tg5@'2L-zEn5T gFnED12kGqkٯ`,ж2u2fՙI%]\5/6gbV/eͰ8~qT(Dn_눲tN^_9:6VW8 0q5_fCӦ&SHT9 )e/LPG}X"Oڥr 2yۚ`qՕ* PMj_s.S !^>X握ڕ^dufOg$@Q~v698} CZt@Rm ń$4¬TPe##}XA)wP.i=C8vc6#&\0pᛮl Mjy6BT/2ńɿji5N#poCWݸc.'I߀^R:*~].6&r@]$n6|6?;[gnynBM$]`*.@Rэ*P%0ibfMɀ9z~]B= ]Ȝ%Pܽ[@s5V¯?1H-6B_`m YJ:Ih?sjMq|YYaz7Ext&i0QOnqQ`o{AEM-=-FHR<Hrlk9!hI+wnj(|J;5Zk=^Ch>`d02twsl",!*J|L+NȞQڧk^w5d(GLCPG6fl V4mubtbŪ]'Ea`mM1~(̾E?#|Jo5D)Z_o·)P^n;Eq=!$ȊM#o'\\lk_\Ă3=^iǼb*ǶOoW7ZtZXE&~#%.XAaxP\‹%'he8%1t}Б>5 )Pe5EI櫹O|٩ BJ"jîXn~Dbs*+-JJc4MPK`8:mZg'RK\P4^{6&o@1HH 4%@X"W7RuciAfRb\ձS%I_Xs\ z/tB~ᙟ{.g3X+l$,A6;*_T^TOnwtp} qʀfiMsT#tDۆ X昶4,OɧYRZZ[?4=^: U&s[6|Ç~`dd~T5^3*TEm& s ]mmb]R zaVcYHh-GXWoev0=|pH"pk[-sOu糉lP1:pbk4\ km؞q* dC8̾g͂ҼuYGu"u{ EuJ~#d$گI]{&yJ.|o2t'Cḡ%9vc`U+3UƲk* ^j:o`tl(3AܱgYZ *'/% |WorkerWrapperWorkerWrapper.Nubdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5Ļ;vZ A+_f{T w}ü`'}:&w y e0q*7fBM4'/cfᰜܦۥ](S(vĊKSs.JF~(c)dX)7k˗ގ0_ǃ&fHkFH8`_M`\}t.v4un!Dsq ' jsm( H5V&۽SEGXRzpɲ4l ۑz VˮuY}xsY'?RZ4< Ee-(pGq"̀fJ|-}e=nEU* Bؿœ]ϊ̎ۋ9TfLUQF`wԞp IJ8vngY2DI^ 9hHT'Y9A}xZ":aӹ 1ӾֲzY@4af 1QU<ǖ-KϢOyZ ))O%.?RH+ BJ63x`p]tgj^P\P6waYXGyF8I7EYMvP(Ui^a̩鵩!TS(eo0C4B##4+ y!*m|ǧ0y16l9|@sM07MwY`6<Y~ljX1b>dQZ'6zs, i-)ANhdʢWtlBr3"KNJeַʬ;W3V KfLHFܛr vu(ʾ4olzgRu'ec5geJhٵXmh&-X>B㭁q;oCl:c@l#/'NZ[PH+.vӰ:){ [2 j+qyƀڤ[ſXFg$` 4⯀q8&iw*oٓ?YjOB%":=!VwH7wT,c#98"-ʛ:4JozCW#A'b ^)s9Qy YS8\DŽȽ|kYnV.qs =/L11Y|NȜLE㥰xˌa$׍/8fW?)K ye=\b]:'(<Y؈@DrvupWF|9AZ,o5؁ɺ(j 9wg*EAMLLH.kpBESʨ+{o&[v߹=\jQI8עS>! )hfFa's!Prحyl?o'_ֈWfe[OWR${0pV<_x>H: 3VIO5LHS-uZ^s_=s\FwǞ3g=)yҊ=^RPi 4ݾJ9D%kj<&UjVDu8 W<8snRfiSh%\VfP;ϵ$@AKe:z{b5ҵZ!Y41dU5mMZXn{x1%RGG8.w $VfsnT6[e"~pTc`{[ǩ}gv2G K̲#& FO U4 ۈi6Tn| =pvm[t?I$.|DCj#Eb$*~:T|O#}W͕|B^*N%vDFV wG)\4L=vvR.sxn*0/ CG1R7q' |{z:7>Wi6UÍ5 t.Kmo-rry?Z=l_!t&8|J0 fUܝA^TX^؊~spPl?ݽ~R9rm/Ϝ/,Bs@L8u/kvt5w?yΫ zSXKgYZ  w'1% WorkerWrapperWorkerWrapper.Lastdocument.tex7zXZִF! 2]A-MՋhvG"uIBm5Qޑ=1',k>RM-R53u6mXESYByrSowi# yf)] %)0"-"fK"`Za#MpleC&ZYqYjGKs5p QɷWHL ihHɣ]Je {N ִO D=ꆐP#DL}L;$ Ƣ~Cl3KԴ6 u}P8OWtv䏣ʩȯ.O.'^X7Za4J#pTE2Ъ{:yt}[h "7h Gŀ{>s[aagNV2'3bsܷ2Hmla& |k%%"42T[T5">9!1*8R` M\nw!zTp 0Ɋ (e.I5}f[^sx}PgZɑDA |y.`,/tX/ZjX1V&w1 {[ِڎ31]2.=c6Hf¤iǖh7 ~ v,*DރED5* v`?݇Ԝ~/`͕-j>1q}=d^X k"?a.Ք󢟏k$Q.BzE]2| .:3ӭ$C#Nh2$. u㱬FR] %H@aP`mYQuvЩtsYS|/˥>>&1v $kO B"C<ەNh '^8#mCբళ,jhp `oK(ߪ)C Ge]C^\m[ 7'5 K][N?]dtWŞ͉Y!s dvGgYZ vv 'I% WorkerWrapperWorkerWrapper.WorkerWrapperNewdocument.tex7zXZִF! 5 ]A-MՋhvG"uIBm5̝G/vxN]"T%_֞4W3Δ:Is6XdyF%;ne&9}]A`[JWЄH]rZpJZ<' -t9H\7v>Y,8)٥ _",_U;x@R*E,m>*J'%'_^8'B\lEx'lEHPH vġ#a=vr/d|$lAߊ`vLqt"ުs>tx NN|HCX@TFN_Җ1I");2Yrm̟u4xIZls;?iL /|Y/QB:gq0@cm8̗ziIg27̿i WĞ I6kOgg?h3^o^Z11aNQ6Ū@o{Aw0n)*=}b(k^0ijX\ⱅ!Z)LаF21 4d: 2Ј ;wž荿ƄcQDwx5]#]ث1lBNeO>2;[iXxNzLγ YΑmˋ<>N!0_ha\\ 7b\;Ңo187ER({V/FV(vDT1,}┊h"$D)J-cyRk9d=z듲];%Bf꭛v77Hk73J̿E/lI/xIwqrn&zץc3u"z*KCQ=`w b7"1nK䄄fR˘šd5I߬gUe V5d:=7/a\nd8a(#b"K2ʚbD1؞7ó7#68H1B hl`45w(t?+Bgtҹ]DLjg,8V g_$&Ǵh!`QS5c.p$bh*T"ԡA&24mq%R9d b^">QKIq4jY\x@;q !PHp7}Y뷐.L){q*S[8v N:w4:s/_i'UV`>MHT)B%1#,4fkQM'/,\{|7'{\O~}dK";t]_GXyR•Ķ8a{}BcMd pպVMqI >i 8j:(j&RYɐVϛ1O 2n\o,fZbTc̬$YJ1ߗ 9>l g. tX"||)c(3 hh1:fh͎1rMFp73;7]D용RR2 n2w %&owkZ!Ր\pA隟J{ ~OO^ʅч2"ßsZbRC5e^Õ$XԾ5#^F1pE(xt<0zhGI^76{y`&je kvMJuU՚jFS܋tѠXviwK]ր}!JmJk픱gYZ %%X 'C% DWorkerWrapperWorkerWrapper.WorkerWrapperdocument.tex7zXZִF! H Z]A-MՋhvG"uIBm5̝G \ r)nE 85/!ӳ#gB|*PttD;Ml%ɞj1Ne'Yݾ|~s@x0KaR)ST.J&фQ;gnr ծBš~RMR:>\|JMZۢ.#y9riq:*Ŗ;BwK܉F]Gkpb‰^vB{@LM_xN'ROvo2خxC! D{;D'")]g'' )2g՚n24i4n6Vt˧~Jk1jz0YOuogP^/B\ =WغR,Pq܎+M&ï}Mٔ_ؒ!gRK˷D*Bp `{pEwe)Q,Qd@E  Aݡe?JF/D yorV%E@Z-䨽|YPAx?9_^uc-:0m`ОWJTL,vІi'.U5/E:.KgY^7MuzasWC6QI O^2[A}*jt H|9 2O4G,\dDJɛj8xU }&dLQH F}~28XHZ\䓾q6 ލ]& /ȫ;wJ̡YIBIdϓ_adN x:`;dc .<[geK>+m Nܼo$+a;#IJ=ՓmZBmPز@֞栵3dh펛+bĚ$COs)u{!sC,(gIZa܋KjGu{p;f|A{bfq 6 }8ݧ4*p:P%J >,h@ShwX!@x,yΚ%c&e&`VE NHTYJ#RgbJ'qoP}a=p?2`Ŭ4{χ:]aZ86V$Wc٩[xk]E K!ߺx<}N}6 -2FM]$;,G"UL`bBl;7!8TIJ5&RɆeu+y0[#jLm؆ڎ@*X:9Qe@V&"^Uȡx^Iѯogv΃@5@6v?@ffS+n4G[e ׍J/V:ntYnvj 'EFgi$nۊ,g-9Ye\gas/+MbrK̳3Nћv~E>Ov<[(KXJ&-j3h+)}P*7Y7d-lPƬϪM55螪k)MV_Φ=!mKuJXo9iDuj4.Rj֦O]A |nn - >ZdƇI4`w1 %L5cjmɗu+IxOP9.-yPZۻ;äg#-gYZ DD9 'E% WorkerWrapperWorkerWrapper.CounterExampledocument.tex7zXZִF! It ;]A-MՋhvG"uIBm5`~'ǽgRx:c F;|м9{ IC.J>Ͼng ΪLG9k1 ת%"t=|0y:h4ùr, 31[;5vörTL. ) J@`AkN-Up`U(EzN_2ſ%+xbm~暏/4bMB!' H+dx`=qeRj뺬aAΫh˫ayo`}*Bڢs$JDS/ 3Z#^^rT!K>ŏ%|@v~Ú z<(a_.ZK =ʐDҟ.%0>:Uχ9`.:v{qˏczw%Tnʅ׊ o_ ʰ+ ՃKװtDeE Bߓg/4-z3̕ЉQ 45Z Ʉ6T?Qn8T40@.55)HՒUW65&U:q:69T2]WM_!vdJw|YP0JۭP.3B)W+[|ߌiS"76L Ǎ)8KujJ%NcsR)$Hq#37kUL 諢HFfd](kV lm%v)&٭bd5 =U~#w19gEȞf#iȚٓhHbH+kb !^Lɐ?_ne]!U ?0 O{VOdi)3mwK"hEl6@ +=4AjnAʂ*CG`AyaDZn@ğZB_++2`(8;:%+D9y ;eX:8!2jS,zBKuzi$l_NGZ`wh7Wu1`4UYBfP9]8[`bFW3Pfp'KYyQAɕvۨhG^\P@ʑǘK+f$y6;~ Vq[DT4`-ц),w>D4*7YdSimwCǴڗJ$4/sfMkkTFAmI:]*J7Wi(-u)UmĊɵsMtCUAD켔Xr(UЕ#( ]>~:u z,mFFp#CUrp4!bm hw&ylӤ-څG%9ĭYӐa `","(MT)UBR߱ z)*k{N–i u'p{>FX%z::; nw}asI*VT>Yt`]Ij<4H278Gr6J* 8:Z+v,_uͯԧJmYŧ殿?}O}V^KYRsA#hc9ڨA4#{9ѪgJ ǸEm7U[e*[.}*?Gqz t v[?VI.j7'R wno`,gj ?̪3b!5(Ϫ%[Ms _ry6:(9(I$aÎUuЉ=dj+Jayߒyi"nrla  <"2[\Aw^WFjU, tH %%u;SEncv*D5~E|;v>UwJ5"NZ{\A# gYZ