SQLite format 3@ &.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  N N'= dt ] Incredible_Proof_Machine:threads=2elapsed=46.061cpu=90.404gc=9.276factor=1.967zXZִF! I <]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥sFèQQY)z+ˋb3*v,HuCE@ Xg;{x<+(-[iQe吰pE6Z W:ф}507.L[ T4|1Pe9dA0zKW1N?^GmQD@eyl"?W-PWsɫmzɾ/6yiC{"4Y@Feب}o~\GTrɣ]X6hlrhg/HZۅ̗I%u> M^;ќ+毓;?Q}V1h7 ҼvHZ&1D㥦'FHzc;͇e%d Y@IY T DJ;!nj`@k'  tyW)>V_ 30eȤf f̃PBrM v`@3l@xBj=_"9UwN{ Zی4TWJQXN&U# C< "kk5[},2.ۇycrX2c,9}ڳr5+]1fŠFդw%~wB9_%q%%kHEUh9ԦtM[3{xd$:!0ZM|,BFN%|IYm{QϛMXǿ4|\2}4`dWsg nS{ "'^kcRSWlawY-R:ZC q b!Eaݬa(td&F^q!рj+[% V2ZQ<8 ];OIU eakɛ΃R0A[(+/)s> uw,cٰrbB{MB ζ  ,wB&$k |]Z5h]Ls{}wTYA,Ix/BNi0& = Incredible_Proof_Machine%p=m% 4Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Completenessdocument.tex7zXZִF! ⢅0]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[f5Lit%薍HqWҦ[fRBʯtV3+ZeE=;dT ?zi'ЅbZSP"N@<T!{F}{GO2S*R-b5oۤ;]tr!>o fsPB{CN*, WTD޿ٚ5g@ԓgi}m$(h@@P-;=cP^ڟw/XNGʉUGBܭm~)w@$S#+SJLY536ħA-ZsXl*:zedbs6/QqxΖuL<Ȏy.iE1ғ>vO[b!9 *G&JeBP -.[]v+?P[^UrjNLuh!f)l]TqjfF=%JenϷd6ǡm8g 5e ȩylhRمބ?#kr19_q03](?%pʅq[*ڶase/R.<2qѫOpV2MsT-jE\ }ކE%7f1-2yV;7CK'`Ʌ#aIJ42o_2#jِ{|Y >IrP! 1]MP)xv:~6̃8=bV"^Hk>],; L4"4$DԜ<5F_1?G*- + H nlwETURrMAd[ͻR wdM\x O.4 [- }8}M4:rCƠt14ʈ1w^w#+CWP,D tPj jy,6tCq1NY, 踮6,rWA.V_mQ;HRHOkwL"%%$oUW"ylR/,j֤"PsGH@,ǟj(IGo~im?sCTKw \8+fFֽlG$Q$d\:Iysc$!JYu  5UVexaħM/>9 v'ɭ3d09.>]gM'cf|SN͛򪉨76_tcNA htud܀xdufLl@B܌_#e C_MjiA RVr Ζ<;=zS}ܙ ~|;0_Ru@k]13H BC2B`f? zz{H Ai (J]UĤ>k mV陡&TA=8%$WfrG5VW3PhfV]tr;\T \X@KᷪtvG+^-k&088r2iگ~A>q1 5R lxhJ\܍`"#16)Ϫɍ!ŕ+YhYL4P6x`VY?yWRlF8md˲M\8=8һ+>J1,fɿ{`m'IhZ oBx[Ҝ?~PAI?,LRrZOg^J_%MI䉒]RxFN. Jl#P (''I4Rl7|бV ˫>MjC]}/²Iyw ' $>r^\xPNz-F@kcwXI/ln;W⃂̺2CiFBG c΄&2ϛX~.?_:%OS =\r c-s>^E \H/V18uYu.:*ٿ>trL\wMMKcFZ]>5V.nՉ'xWW-G-}x|TTy8]DȔtkK^~i|1tMz_5)Ogp,(JXwTy콭JZޓh|bҋSNMf (۷2i=hAP$* L6|8 kdc.  5C)G 0-+c'Oqc3=Rc6ACbR"_/Qy) zH~}N՟/bʞJ/ QPm0W|#%&PQX?szQ4wdcph@ozb!rG`6gj3`KiZVzG`B)UxHIY,JOc5HO|ˮf犭c]"RBДAxv&v#[ŲyA^.#倠? wc[fסXi "XC%O z5+trH&{ 9LȞ(!PLTI ("qPʦ ӊr8$dTc拠dϘX|R0AHXF z |)mYVb-,'*@ e]FJl>ΈԈH{zߠ:xC_^9UrfeQ$ ب?jt?-;er(Aj^C$#"!       J  f S R * Yu f   M=S%Incredible_Proof_MachineIncredible_Proof_Machine.Entailmentdocument.texX=i%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Everythingdocument.tex[=o%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Propositionaldocument.texX=i%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Signaturesdocument.texW=g%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Predicatedocument.texF=E%Incredible_Proof_MachineCollections.Ord_Code_Preprocdocument.texL=Q%Incredible_Proof_MachineIncredible_Proof_Machine.Rose_Treedocument.texO=W%Incredible_Proof_MachineIncredible_Proof_Machine.Indexed_FSetdocument.tex==3%Incredible_Proof_MachineHOL-Eisbach.Eisbachdocument.texY=k%Incredible_Proof_MachineIncredible_Proof_Machine.Propositional_Formulasdocument.texT=a%Incredible_Proof_MachineIncredible_Proof_Machine.Natural_Deductiondocument.texQ=[%Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Rulesdocument.texS=_%Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Formuladocument.tex _=w%Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Rules_To_Incredibledocument.tex ]=s%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Predicate_Tasksdocument.tex X=i%Incredible_Proof_MachineIncredible_Proof_Machine.Build_Incredible_Treedocument.tex U=c%Incredible_Proof_MachineIncredible_Proof_Machine.Predicate_Formulasdocument.tex a={%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Propositional_Tasksdocument.tex?=7%Incredible_Proof_MachineCollections.ICF_Toolsdocument.texA=;%Incredible_Proof_MachineCollections.Locale_Codedocument.texU=c%Incredible_Proof_MachineAbstract_Completeness.Abstract_Completenessdocument.texY=k%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Correctnessdocument.texW=g%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Deductiondocument.texZ=m%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Completenessdocument.texR=_% Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Treesdocument.tex 6dJ}E׺8$Hd)ݞ.?ٟ1nyI9 Ez0aȸuQe?pDhKNY@{ʬhA5TD0>C@ՁJ[ڜ ȃN#\b-E<FLݑ3wҚS`">`b]s"@7>pGE$j۵laƗ1O3Q߰d[FK8T.-)Ū@S')NjO|Gq" ^(ڿJs* ; Q}[5â')Y5Oߒ+pfEܭv\ 7`24ZNaT}\x7s tlnJyHjzf,˚SL36:/Wl1 /J=!x`P?#0MWtH!EY!vj{:5\jq%A }2unrhR{)*C[Yx\BH^&Wq}0p]Fh4t;#TFq +rfT7&.ZbI8܎9ab1vfLzx }$%w1z}칂Z;p̚Z$x)c)_8>a豖wkQ٣ϧH!>yvgNХ;YJh;ڨ f %5F+k gciܥΑXeIZmTemU|Bs0V'm?񿖙vSNU(s^ğ[h!]-R]붫Fāt#$TYg*#K>2Rcy&QcDyWkp9!XF 3n/7AWx`܇Փ3vId),4#-dfTqW$7JUo9 'Ũ[OW1`dHr|U:TmwDwI9ƾOB}dŹqΣ/X/ò$,k* xWJFdoy0-9JSSz ?еbsÚޢDb)p DX5Xzy,a_\p~C~y6%\ݹѤ4Wu%Q q),2Z˜Im8JĞKv+; -VpMn dP:TLIJ ݹE$Sf0؁/,v;X>SRǻvs֤lT075%"3bHi;krRXqpIj F=5fGt9 j]o8oP"Fd13=JQmt{9 j؞Skݏޒ+um;!+y8n+,BMdJ] SYJ LXkbFq {fTYESn/2Rj!*IԆ4C:HPLZG$&n $Ei?Cv?5p.E։۶é8<\Q9URD Je@Ef.'sT{)Y 6 `xOCHd/DULZY%=mlFF0.R3q3ۣOLÆG;ͤxKG !bڼ2ҵ&v\ lm-U0|j7! \%jU4bR}mF G+= ݼ=Sqm+l/5plXrɪ]I ڕ16q)|_Ǜq]/o.qizl^a)Vsgʂ_L44p["2)ΩY㔏Ux,w=8h=(8oooЏwuY(yY&G%,fvl k`ӛ3*KVO!ii?_|2Dk855uPh֠o [0s-X)_X}u0 ad&|  =sؤqMeQ]%&3Me9@'嬫%D)yV:_x)&,Ȇbj`Z=88"#F%ǭ{ GOCh|Ĩp՝NH+uz0NٚImb1 @Ff]r3X_sK8 +3G[Е [}ty{ fz\5Lx8y- n|QTՐ4-y~.RI@bAD [$RiQsx^` :\+R넇m,{J+s[=5s2b%uF~nq Jy4(xx g1؞nФ -I]9=,OF .@A(p\hf<>zPU^Ô.BDi=ۭ@zw] ;!r/$dl!X@# mU]ǹ =9?*ZOia(gj9Le+mKY\>K  wZWHZe#|TD^B@.qF6p.f̖*1^̀Gx+}r狩X[>^xΐoܧM!)L j/Q@&rUP.@C۵lmDT_l$jQt $ Љzo6td9ڑ4p$QxYfW ??ڢ`#x'.3(PB)՜ =`?[qZo i"4_eHifπBSjbg:m.`:|M+՞pFNa4]+ބ';gҮ&'%^"54V>* niR^{ V2T:VMe&:=-- 7 n4t*l?_F YI8T }+c FƦ!^fyӭcrCۥpy. +cS ٫-6ĀY\ m `\oN{D'OjcK ww.4hb{7K'A^$k%^qbRϊE=?;{,XY+`r5뚌dw/ 8ظޝ ;&4_Pg -|]VH|D`d Uؙ){Iޱ\H:8-Բ1RޱԭYTX9CG"T{j~r6phqfU׌ܠ?(-鄂u#}Djsb}k'OXmiڮV$pC2,Q[9%U"0XKs˕pKZ=qŢyrnޝfx"bfa:)s #HO y{@ y}ޤphUPݪyݏ\F!>g,<:i[hD[;ȿt8H{9V]v$[T#򂄊$ eArjL@n$([t'a{l$Aioq(̂O"byhWNKr a\!eb1 h8_#gqrr0N(_q-y'.p&Nv}vcuP@d̋}yR"sbTou[<`?_$۔JLZFdp=v55vk?9qGѝ'59f"3 )sF1ދa;L?UkàǙ('8NBF ->ɳ>t[fKJKWG&qMa߀S;`.}ƣtNzQ@"C7\Qԟ3 ql}z"/`͑d-D]n̟@OIq=D.e5,EETϊT&T'UuwpsQ6O{[r4CMysUy ^Ʈ|WGt]) 㯯8#K5 B|ru6;b,sE:Ǚ##8qh A c0FV9Mg/*3caJ$w.g*r<L)2qIQYTe\tØ=4T3=JNq=qcYQsW_0&ȉۄI3=RNf"`_'#AtQ)ψt*V03%SzJ {YG;֊aSلmL9 D^(ɿ*'{?!lza^BY2i˝)#5A$bgeS}mUZ:Od@(&n=q$Lgomr{%z%7|x-w? 㥗}fq(tw3=; )Z}SQ{p6MYr,~t5}E-өpvoo]I"O#}>T d%\fo5(F(~Mz~1FWJT<7g'a=X2m_5tt֛dvgjLτKPYF7f=4Sq7zW(Be*ͣS̠FTYTmAU:XX Qi4Wy`noi*%>3echpsƙ)fsG ͍jm, h$mo1#֨HFAڃJOao85ly<aB}MMNݩ"7j`Q^[5տ]Ģ^q4V( Wk]'"fÚ%Sǫ޶%^kqށ7_?Ք :G=; % o&I$y ~;MO$\~;_Iÿ&llΟB-5dHӂV F^Jqar]k`Ro cɾSmzĆ㫈ސΞ@+oh;,Wu&)L:BZo4㇮04')]& [e[7˵!nٵ[sui6AۺbpșPw7q "@GBF#?/u׺Oy[e(vZMlN$/D\ȍZ9olw%!h~qND-4ӳc Maܴɏ+ bpf6pL%y~ф,PeUjX IgYZ N<Ӝ@qGӼItNż(NC->~ 1;ṑX+ZZOm8sf,!POZ^c47cai-&(0+Pըa+5iv%'LNDZ]s!Sx|oF޷xcf*O gEYNn>-kJc ҳeqS#oJ a.'<29I `NwrAKd|!DhR4ϨaFG>DT06F c3nw(s5\ _$'1U &#*C<_nÂEZr̪i|tjyE.YioP#, %ʜr*\yEvJ28^g7yX}מG _1ʔ6XID+ʤpMLCt0Tle~뻕29`9LW6/CMpK4VE-7KJKf&Qn8D9"ևecuG*zŪJ>,|ɭ}6ooRxFuD' _̧ W%U^ H:1 602xu4&O8jfipFX0k6mu`9+G]Uq?$i!?Ot;Zb Q<U<4tvX~ƔWz&e@q8_q[I8$0!PbT88b*'m;>.t#?6B(Gc@pahv߷@IߣO”5M\ 9 !SLg@g졂4xwsPPݡ1նѵ[af'lΙN;#Llf)'N`%[h?T]f>-=wfYI8.,ŇB C)S.n`CKx1+ _+Myoϣ b_ gY-dͶh<+H0 눥ŠV_tnf觅}۸wayǃwGhQb?w" W5!{zSڥu;Grfٛ,Qq n,ݧMH G{vVZ35>n  {I€k%ƉTH>aU5ڶ(-tjbFi e/ 7n諬0vTetݯժBuFdM(^#<1:,稘H;ru:Ւ5@"B2\RPx>@40B!wF1,C-bg|&+YqR$1'a/N+o ȣQ4Νo,bvt^^O23Fz96R$*iH Pv'Pi5܄H݈M.gauQN}ph=(׭}c\PͰ;?p.MdaC`ܩdd2)w)}[ˍU0A֚met ֵ\n1z2 s!M͜Vl ZUzD>t,ђ&.YgFHno^tH8 +lM1_|U*e9mS Л*'pBOӘG{>N}Yb=G)TcL{r{lDBZ6Գƍ?O!fQo(ѫ"Ãה2S'7agSa^T:*&B={m]RyFT#No6ζW'p|+i:W:1d~2ٙL09T* esK|V{u0!|3i}uiʾ`"NB:Q3VBN~?γNد0K@v80Q;<Io;~]\oKm=̦v7,ŷ$`(d9h`_oZ^^Aڬ6 qL@؏0rR+/!;1jL4{Ldq:H=e)AJa+^? ԀAW_CN&zn@B NnDV=j{J4}@xZJ6UC1 ST+ǚ3لtqW7;@ {Z r#͌%n뿎f +.BF~y:H\E'ޚE\4iM֑M-Pn.E5.`˳'h͌/eS? fE:cbW%eй^&eK)M \ҊmrJ,s޻k%#DNU|H˰%pT!ISy@ksC-A-%6IL$0X dw,7?YNN\%M}OQ첬(m8 8ORÑ2Έqlb'6CT.OzC gq !nZSON;^60g}۰0VJNTh;NIY%kΚՅf*YVA$yKZFY`@ff~Xʝ\!9ȭ2hŸ̪XvN;n?Xu=yǠ2BM=mmuBPzx9& Xbtn|{kQR8EoO\[̺O N>yO]I$>:(!w-NT9Fbrgij1 $AJ:#vdbkHe&6A`WR<%E3c|V4Mbm w8M"A < *wUlevw.Rb0# "FMAt"QY/8/ X5D DP3\*BvzN/aT-W4qf:X|ev1&ŠK$(E8í$Kŗjk(AD mh8$X7#oi54Y0$1Y|3YU4>ɿV:ni|Ql؇65qfj_='zpzG,nTۅBZKgqx_UCy}q>>h(9ѱ 먮}q=}0ҐJQO/q %v99pH\@6Ǿ?2'‚~ľ3@בLFϭٚ* dr7ͯhs+(aBk3yAjD=6]fړ1f윢T8NM3t,D5cb-yZ\̶2-<BRd2C~3j=1XC\gBT"'9ԅ]5bLBPD%ŎrINof#Ŝގ@P㤢p9oD 玺x14'~s/$ щd)@O_ b4( D3|K=|ű~`!"s ̰o??1Wy,bԫ/ Q5v.Sԗ2İOP%5y`I#h%JA Ud0zuU;sYC X͏yx3TajO]y(|ЁH>PDMaw#cJ9ܶˢ> 1o+};@uB2ʲprݓsDN>cF _dwN(B1L GIxawoOĜuD-<)/s`j6">#Ti.uepȀ/5oIXZ&ȅft@p675.a~faixƷV_~d1OW`{hPAw@e<{˫mcNf\, ]R/yݧjX|/ PDUzO{yFV ԩS' nC%8qתdBq ڨ" )a>%T,|Gٔ.hx azlPo.bg]i$F4@ Fgz'.7AqpqEjn6B:tց}.t R[D15~eh$W΂cXY87G m-R*UyH\rɕDfM(bQK]P_r3^'S%פ[,c0G(LJWYsc[ }T ]uVo㠎z)sK+\Y9.He3RRP̆kiMEH;^|ŸG TD;ˡJ 0"ffǁ€<<~%}YwVluƒ 1R̲^k>=Af/@\m(9c?3 $89ID\3HfG~5-&n>33]@B.|,^l hRF݆;DQ9,i|(nWʭ܉BaÀ. xv8^>nz4Չzrw$<)bɾN >Lxr p>(޼qh'z0NuM[$P$Q)D:X0R[\k+ZKO%ڮt5DqܖjKѤϲ|+̡y_(p^⌂ L&OtbXAW §H usl0\}#/}W]"d k{Q?؛#C#֨2.tDS\LEM5AKpqFj氋Va"-#ɢ=N!l5||WfĄ8^LLҏX;L{[4g־/EXYH5 '7hOX*vrtO(hYʈYq1g1{W{ ÃώMaB1YKKӜeQ u>y "X'/i]%VMWטq jLOc4`W"gȹ@PNIIM1^_̗ BZV2ϫon4SAHW.تӃ\9a>8#k'#f#Uv7Hu%UTpDE'~5bI3'd{=s`t/_PwixDK"Qh(r yzަnwӳWւ]I ?h 48u&xrI{s[%A7U] ED&d.y ' 5,TjQ('=o{:Wg$l>/Ku(KQ5uز7Hl5_ͧPUB+ڼ>k4P;[(yeX@6(ٴ59 OC&39A?ٶ9!ʊ,0C1>"=@e)4aOMUzEpG@tF_1u\ink 3Fk2a.گOBUz+l1DHM *0p4A,!SGH5>+EY;MB^DB=s34Q A8Z:_u0VR\ܸ6ehq^cޖ݆ +;ٗ5*yQîK7??Dj~^ZQsL^"4G#G(T?C&e'aAI9S,/ښ/*AJs6l˗k 9@/,VSH"#Avw=_֝DΕly:8!YV*MF7(&+~-}ԏmfC6fdrӬ"_G0npFXI rg`k h CvKr q)ַdWEc$z}Y"0 //a+~vK.iMI8rAOԅmWmb%MMfѡ5xc?;Zrz-4SxD[;w `,[(ʨ%ڃF)GrLH.J%:\bؚ^P0+Ǣ-v>r7H.:{lz3I#X#+\vMÖf3Sk7b_Eq4r>1rs]TY~HVr{ED8%>HW4AATwa͋˫[}@7RK= '0)mvz&<TdUR-q7./%9?ۄ.\:N=nDV >>]Іѭ٧ix]bqWj)M原 " c)! ;,gr Kע3gʫubL93^$ bl; OY+u=9{l^KAV9(D#v )g + Y.BFVa?Rw2(_%<~Tl'Ƒ3!9#8y~ǕM˃/]#!qk=IaB5VAƌwۖ3jݐeRꦴG\(c,-仗QkW@t- Al,SE6~/)V3X2v\ ?j}5 X@UzyTʌ%_U"=K?DM\gYc6ٜˏi㕖H[%ҕ%(B"5!]"Ԑvt*Wۺ v;;WysAƿxaBj}F|!*'r8FW@EיMv!Bg_m L:_CN*21,=Fs8}캿iu2|kEǼ(W(J7@#}g'$DZB2f+1aխDjUlCa_aIs(t&#eoOe5#`FotLKY !wf5zPᾂJIhC{iﮋp]BQ)el>.MM1h(|f)xV5[i?m"}HyF%~5Tj>9I]\:i.r^EڨHb ]~QۙsiQ=B{`ϊ f4h(鍢,VWZ+يYƈWྋ0̈8G#4KSyh@4c [KQ7nqyizMmAn3=f&_Y!apln)m3gF}ՏZ\6\Jᠯ?, z$`C1N=Ǐ/qִ80M%iʵԏ|){Gk58,}=Z%DqD/ % ty p" 1k۩dqYiP:0oLz VejR2(gi:(ˌAAb p~mZg㔃tjb5 Wp1_٠Ȁāewd\M1%ȲfHN.dkx l֚xt,vPdtO= Q4`6@u˭(AZ7}蹤Q '+EaAC4ƗGRigȻ{o\ lT((tU#v`vv~1!WF Fsy) _ O#6R6ciSz GD!~\@v+b<7Sq!Ld,p!"R\:"Ӌb rqO!p&V='B4zcx'MmktىQS?ve&NA…Sz޾&#)3$SeM|; >uunupc)[ŦYǹm+?ZrdCS T]:]a94Hgg㞋)ᕄw_.I8ՑU Bq07Bbhdn2B%!G:jdvni(s>k)ŇV&Q_Yb^&|jslOuCgMr̬T&ZyOy?:3v5T!˾:.0ܼV2LpP_$I j3 QuMϣqmvB8g}ןy-a cӺra Vdz ǜ }oIt45{sw./)Ov[&GBg:>DgX4ͳ_V;tpBO HTGB|4[ ^ 5̳)yQ@kBB:?eu(smH 0|ݻ$GTLwђ嵃Aep  >W@GM "/lDJߴZ2?f#lh̓ 4Twٟ1YC`/8Dut_M9]#dVI{O ȶdT 0f~󃕽%|s9?eR䷟=SӔ|ُOũB桯/#=+Ь: (yh߭5hYuJhrFImv<+oߺpq<$єnkc#7{90ٴ֏GקFpڽLϻ򿾥`oNc d2Z^887E2(^"K̤Ry~e)fxӅ 4oפ'JSD9u O4CS$06@{@s1N?P&ܾ2-d\r*C>Zm7PǗ/]$' B9IMuRkd-Bh2h"Nܴ" Q^|f5ZXńS 4jn9tuX MUY!)k0կS'_ *smTLB a gYZ oO/#J.㉵Ddv|%Am2*j{7Bh+1/k3<!օe` gr_tqqn·5><W9fѫG/|]'>;]bH)lcd>\bc%&|F^>]z1b;ij9j?rT>&6(xP/ؤ̷FW+8xfγ boӓ1l1#$~c si.81w!f YrJW!17ȓ[&{,}k)d %TS0`/n_eȇ.lOJk$~1K51M4KzŭOQcڱIwy˶ŭ,lk;?xO"l5*L#cKZ&]+LBI1U!qiMzG™;M/p8ڇs945.G23NBYz1B-E>#=N3w} vmj:}+$/F!(Aߵæs_MJާ:N$Y9mWG`#MgD, $pǹhb1RNNzDTU؝)V p$TUʓ ]OgkK-6_47Ҥ-4}!۬@iT`jD:/)c|+1ڽ_f֞I/n|cL昻6- RA|Ut3*cw)#2REb> Ugy,;e%Ma_aQ1^]K믰FOۨDM(wn\uDiC%O6D/9ӆ*ϴ"x(ʱDSS# 1]ccS[f!jl [g)וku/%64BHʳNf 4J BO@^ȀJQ6Jx(WAtGW{I#? xM&*k joeM`ws#ҏW5SEgQ%*_2|m >0e;/25v;J';PAF+똭[#*F=FsoFM%pQ/6|[TJ/?r»E{ ?HZ2 #[Yݾ3m Yc9n}} `_;ޝkOHUN{≒L%/ɀCjM_LiJQ.9  o@U6:$of|ÒA&Dg7.uJN'6Ia_rpvRї.Y FN5̽S^r?r>a! Dqj5=9u{I{W&"}\6d(%i˝w>Y6 \O+?J05 ?D] /$wߛyU$Z ?(f2m6S!|BRko䓳4[H!:Au@@Z0i~x3c)ٻK`\X81;-jO_Pln8a*q[&@k!32xSJ9-}z#͛&ߒOd1kg􀹃77碾*Z&V#c}rhPڳdOO1jS In ||>|b hW.WZ sִUxQ=/O>jv}?~wW eJElN:V jxQwyqL'R٧f_eX}qf Hm*5wƖe  !{IB6 K6R2p̲f,]{)Tt/dB%q"ըe^X[{0BPO6^Ix`v:Uof+G^ Z?|݇l LY ]u[NH`auW)X!e(>t߳o}c]4AL=cӻguAyVc |J6d.NPF+QmZϋRo3RsI24g&wSm}NAKC`/ , _%K| DFO[`6яmb(pSJ3tYοʛ{F"rO6P swIemp:1%ٺkSǑDaH'dxlb9B뾰MBW4q K9~ 6ĉsjh„OtĐ!uk(UdtɓC޼SvP' iC'WX+τLңyo\+Bm+wa׌dk5rÇj\]I`:59g>Avq8r}gV$5~JTW٠nqP FWi,T MH$bA =gHPHm_'|>cȋ-c#h[5u.HWyQ ),ד}YZR}?w ,vzoojSiBuՇH ɱLe@.vF|l3Pp(\: '2[HbUT Ew@1?-M«^{[(qD@ec{—P!Lo }K {%XgYs-.@zzuy\8?;O]+5D1}WoEFSc]M?c+bB#+<<;mp A|&ף *( ih/y1qs1BTgO[y?hsS2VZڴwLՁ1G4)EqthZuإ ko8z/LLM*Xߐ^bNWFQ{&Xy_|Uu~kFn%4mHx3 JI U , 7+V7yأ/HL!~vV'iS4ՇQU8CR։qHŲD<ѝ2Uw/&G8q1Wyč Ƅl ێP+J`e?UjE+W['a$c!,PL_<•X9GW1wumrG _L樣9MyZ܉߻Q֬ v zs)M*T*~P8i(H ȷDnUA ~jխ ''fQ$\bKHby~,kzEh"m?ʼ(zeW?@ L]F}uޟs"tm^ [\asiOAs@pHSjv w }7 XHQ`Dgi+tƳ'ڵnڣf_C 67%''O2ie"&Չ #nڙ#H FLͯ D _ {N뼅RXql>#g~h-N޼󤿚$YVSJ"\ $Yٱ8SQu#^nBR3&c.X)LZ. ]힗,+FZgJbbW$z"'#A9]Mor1ٮ;>!328&;nwk}Ha}V,˵o-@%nq_x! }!.y',m|(߷['Yl2o;V¤dyvNx,$.WT1$eFHʃ2gafN7._'mhV۞9 )Az'd$w$t#xhub  eCצj%/?~\/޽;__-*s6Ι4%1gAcUH{Gc &2s'vzQok;&!ɏAF䈛cWs$?/y櫌yNͧ!_03ȮKFˊ0o}2'B-PƛզL>W]"QOzhrE踱"s &Vق녨>&S@ Iv*n̖K;rQ\[{vm(K'{*jT) .7/݊I{ ǹLJuNVs/Ȟn4MH;[hVY޶nj5|O9iA"n: o/iR D`u"#d6$%.Eh:9[ ֓bb/l#Ho_+Lll-"+c`z)Q4rQ~;敯,@8>,}"e2\Sj椑jI<-h3B]ЄgHT؅,{^|dy Fc؟v#Tb&׋>A7|-(hގ}Y~JUOAx_]=عMҁ]ڷ2#pT5˜ԥޗVdrݞR"d[S*5yNet¯{ z7;;2yp7vlz563gFd&L Љ AQ?/2<˸PWеu}0{}l1R`AJ&d"M\>U+4<8t@>yeBw#= woia1L7rsŠ!͋I y֛PKUMe[1܄0 ^F^~:}Cg:WnvE|_pJw f R38a[\f 3;S~LQlzj:T+Mkd]XfS^bQ[twe-}M[2;>F؜vv,%_;*C+ Rj2Q#9'2uWBUͽ { ,\oz_9311 w7_.fCa~I~+ݞETj3ƞ r6݅}YTl }g|XdP[=ZnR]tl~ HgYZ pp=m% 4Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Completenessdocument.tex7zXZִF! ⢅0]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[f5Lit%薍HqWҦ[fRBʯtV3+ZeE=;dT ?zi'ЅbZSP"N@<T!{F}{GO2S*R-b5oۤ;]tr!>o fsPB{CN*, WTD޿ٚ5g@ԓgi}m$(h@@P-;=cP^ڟw/XNGʉUGBܭm~)w@$S#+SJLY536ħA-ZsXl*:zedbs6/QqxΖuL<Ȏy.iE1ғ>vO[b!9 *G&JeBP -.[]v+?P[^UrjNLuh!f)l]TqjfF=%JenϷd6ǡm8g 5e ȩylhRمބ?#kr19_q03](?%pʅq[*ڶase/R.<2qѫOpV2MsT-jE\ }ކE%7f1-2yV;7CK'`Ʌ#aIJ42o_2#jِ{|Y >IrP! 1]MP)xv:~6̃8=bV"^Hk>],; L4"4$DԜ<5F_1?G*- + H nlwETURrMAd[ͻR wdM\x O.4 [- }8}M4:rCƠt14ʈ1w^w#+CWP,D tPj jy,6tCq1NY, 踮6,rWA.V_mQ;HRHOkwL"%%$oUW"ylR/,j֤"PsGH@,ǟj(IGo~im?sCTKw \8+fFֽlG$Q$d\:Iysc$!JYu  5UVexaħM/>9 v'ɭ3d09.>]gM'cf|SN͛򪉨76_tcNA htud܀xdufLl@B܌_#e C_MjiA RVr Ζ<;=zS}ܙ ~|;0_Ru@k]13H BC2B`f? zz{H Ai (J]UĤ>k mV陡&TA=8%$WfrG5VW3PhfV]tr;\T \X@KᷪtvG+^-k&088r2iگ~A>q1 5R lxhJ\܍`"#16)Ϫɍ!ŕ+YhYL4P6x`VY?yWRlF8md˲M\8=8һ+>J1,fɿ{`m'IhZ oBx[Ҝ?~PAI?,LRrZOg^J_%MI䉒]RxFN. Jl#P (''I4Rl7|бV ˫>MjC]}/²Iyw ' $>r^\xPNz-F@kcwXI/ln;W⃂̺2CiFBG c΄&2ϛX~.?_:%OS =\r c-s>^E \H/V18uYu.:*ٿ>trL\wMMKcFZ]>5V.nՉ'xWW-G-}x|TTy8]DȔtkK^~i|1tMz_5)Ogp,(JXwTy콭JZޓh|bҋSNMf (۷2i=hAP$* L6|8 kdc.  5C)G 0-+c'Oqc3=Rc6ACbR"_/Qy) zH~}N՟/bʞJ/ QPm0W|#%&PQX?szQ4wdcph@ozb!rG`6gj3`KiZVzG`B)UxHIY,JOc5HO|ˮf犭c]"RBДAxv&v#[ŲyA^.#倠? wc[fסXi "XC%O z5+trH&{ 9LȞ(!PLTI ("qPʦ ӊr8$dTc拠dϘX|R0AHXF z |)mYVb-,'*@ e]FJl>ΈԈH{zߠ:xC_^9UrfeQ$ ب?jt?-;er(Aj^C pz ~ՑrbqMpw[yCH:, q"176PIqb=!9%薍HqWҦ[fxm?-f*YӔcPd$lsK2} 4?a7r:e7i6X,E.~7+e\2֤}#r0kXQ>Q ;@md !8IXUb"j7_^Y˜OE%Qp,H`G8Yuxq6Rr9! u~P.ޫHcRS`Hamfشc+wSZt;,Ur/7spoNNs$=niNv@ʝo願qB݁u?eB5ymt{ DOGcx5 n۪`zPԩ3X/9 TTT6Apq%AeКɊ~c|d?SЬ7m׷%Κ):-Ww쮡,z>l .r#btw]`4:&\1C]{](^(ޛu-V2"6M2 gfaHK-3KnDT$6Ue&^xCŴt˵ɀZ bZjdfu qJȁ̕X8ߢf A0!i`A.0UooJNoC`HJM|hJ+_mE 1x%>] !Fל0d{iA$>a[kNvv%7c/ /On 1} X"_U{i~t+} n#D)iK3Imwl>`j!xYWG y#w6ЪD]ns3 G IZr|@Z#ow-\˛i{ǫc-% -@GfruF@ӡ<D(a>YISC @I=g% lIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Deductiondocument.tex7zXZִF! *$-]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[fj ]e{i%i " g*m"Y= +ѹlwtbn`[bYGbaKy6KCﵿށnWj{?e#b𣃐A:|BTe=e\W,Ͼ*zsY wO't]AÕـȱ~OgxhBK'ʵ&! 5DN9( ˚heY/pXZTb`>U֫Pب _>kmq̦=wEe##?,y1-)`UnVHR'[LŕF;YQJʖڂk({:Mø{mCsMQlh"̵wQOQ}j'ܟdQ#/H-8LxdJnxNPsR6 BN׵3GBЉ]u@8lI9+a!N ?#/K8ÒCKSW:Y5RP ޑ+1VV 0={<,,!}p& K/dGpV~H;w!J^ ^:"؊0 G9j%_= Yq|R5VsdH4Q_(NC9i'T2hlR[ά Y jȭڌ'kۺ?S:A}[zXP=A`fM/y|h qaW$&[:6vB Ukkis>8:4\j͙4>ST 9&ybzJfyjY&HX-Z Xߜ|ߛ}W]lA|1&(рιqp!F]V.zq@trS0H"Ӣב3]\8=wc:hV(\׀CYjg)Oʲջg0̫nx+(^L*@[QPw+{F]0X޾q,OMJe}0B_uLλw&*`Μ cS?)Yb 2IrZ(vem.{''*[Ki]{njY8]qe=h*򅖩9OR^ #8|_autĬ<&zS9坭 L5^X!eki=[hލu= U_S"(z=ήP +`}:V/-MϸzuAo.Q SqQyV 7l1/uy\0X5X6ཤw;&%`7"|E%9,,^Eoy8} ,N 0VC{=^cok1j~YS@-!&N!/;O T,ix%P!|Ĕ0T3aCX%QM[h >fB:PW+V1paIx ӽq%KU:1|ˌ4)0kK\:C8\Qlُ \M!fG `?Cp*^~WB:ϋ$ H.e4h Ml/ f'C:ޯ+%Ё632B2'+{Qz%ЙMk} v":s%wǝpP-*P~#6Xv21pOxz8vSD\b=wD X S GLo^TI aLO^ eG.lxqKtPtW:䠡KE]4`5_~MblZ--I11AR=:5ǃ)y^&NWHJ'%ƀu}wG&v=KLWЬf_}櫤sYfLwo'KRn)q ]8X^Aek.%a]}jV!Xˣف[aIY(8AW$ͷM&F2dtu}~fr+8Tc:̑NWt6սHR35?Pq]kuҪk%cM2f4)bʨ `E6^h,%j1+V*L+SSPKb%o Vzn$3R9j"߸wƬ?wJKڦbRJ)i]^ 1 oJ`Lt/w[ y4S>QhGF{;R%ބ([b8I g vXaϟdAE$KnN|[Kkts g"3_zxpO~'+3E:Ȃ:츗ܮz^GA'"ԮDN$jC Kc.*#cu*?Nt Rywe_T@#7v:JKᐌxis|lQ)O Um#p71(䚑3̻կifk(9y\5z>AT]0`' N8"t0ڭҵbU9 Jnnb.6U,ָ<$[P U|l_6A81PÍ] )ڔ?oήjxrʭ*s%&{,791%Ն{EM?7`p|fMc,(bg`+}q28^;W_KsYBpfMӒ0UxJgUiC̊P8o-$/JIGr_x- 3<:"1` X6/?gDh1IĄ>3;T$l50@k"S^\ ~8L GݙO!fkBV9nJV>ja{wy GR qJ'$3[ίrM8X9k5t%6UV/>rAĵQI_JXŁ*MЯb{ }!,j%E}5M=Qc P+ۗ_]ߗbW&TXyWQMYV`}юm.-W?2Ul<'Em] wrT^NbҺMRPx2RHÛmPfMےkft :&$m &6ȋ spyTu._fOk /iL*hN~ѺGW^V0xh' ͇al##&vt̜9h$@Uz[eWgnj T{M>G#uRS,,VqTmˆ>>8Tc$[m3Z(B> #=@z'V|}Wylv%UZDc8ƇVG9.hshă]rv^jGδU :'"ocH¥_DyV$Nq Io]8^Tu*<$:a; - ^VhkHIP8}STR<61 4HeT< t-RKmW2vd U mM,ƒysdKj}RHВn t͇x4Vݵv*oP,!z91^.%Wg@cҢ2%*%DDֆhFIO~ ?o&L߳b2nj !}*m*"EŨa G豎cʼn=_㛗bKKRzrڻ[,r1g ܎, zgzkd d#{ٞ ZO6lLlZ&UR'o9"}КZv$4CF \" #LԢ!KGtkL'Qe87ښl lRq_?oЃDc> dg$/ 8Kǫ0~^LpB/*8^I KyC- p]K%a'I`9յ~  &{tM=2E{C 5 y@W!u)Zo%, 6KVD;Zգ{e!vݝC^EB$8-i5͹KB9GedjzE_dx=/+,C!eNxA#_S)73q%C>en)7(֚o诽2 ED;'R],Yﱍ}/TSMQ,Cm@§+E;ܩ[IJ5{+^S^Ii/$L#H] VUJ =zOgz}z 7u~D ES 4~gF;shygE0lЎuqokab^T[*»sJ5ZM u~C<ueg؟`vL78QӪN]<ŕd٠lH37p›. _Wyxy/Iih9j~@;Ui6%|9R`/6sX hOUWc ݱ=)մ+tzPf#apI* >Tw+aGS Wc;qu篶XRT٨TTOThbCj(_ΏO_ $ԙyӶ=[a5@>:53D}KF$\v_tS?}(2:HD@|( 41ʬ.dRCR*Äv;} AbKVit/%y nLi^xs Rf'YCϱRÛfuMĨA6>QcHyꐹ,uyJ5}\]GZpIVZ%H"s$uW#O3N<[;F%YM9  2}ňzk*][iCʗ|7/bEk4VMD[K݃ ^oR\7 A5$'B1S>)u- 6 )* 9_%.vbAcL}]yCDq}Ѓd蛮,2+k Qg=-JR`$7=|We+ԡ?( ion-jT:؞\h~ⲯ >Tlٜ)fNkuzNGCqJX}юX+$?3\:42WQDx6%5J@.,H+ʑsZnDo{n j:ܻ679 m٨9n՝Vk焿h:3.QE`V<%H`u9HÜ;&/*/XbBBnmn>F/,sڮg^ݓtPNaXlti ]#̈1bϯo[+SA婓m=ۏ%V1ɐhra^2䮉;Yr3 ɻ Kb>As2PHr[h {i0HݱgYZ [[)7Hb}R ^EpD6[p8p:Qyod<̈́/ 18.hϨI}N)wāvKb_@=Z* o<1^Av1y+8W.X+n' NdXc&R山Щؙ_:o}kLtnβv $DHz*뤚q=iBTrA}IBz@Fh~dvmg(a+@ QX] Z%K=WR; ʞL? ?z &g z.-𙡫<@+wۍ#w)6wrQ(HR>qF?ڎnhtK4v/S M67(2*ڨ< UK8]V*…{&b8t H@[CԴDP6!uLhF!e$j*FFqă&ׅt辞؟Acd γ|*YC F\yg}?]Y Ñ:_qUFG~#I!uvB )A ؊YؙSȅ| s\ބ{7CXwfRyԁ#jf& j9Y~LtDL_5oJ|hJz+JP99όPjT%XS< V_oVZjAYkܷ6j|juLٝs.oQjocoy[ !m<)H._!UdVGVӣ7Tb 89c^TuW/#\Qҽ-:o\ YU_Bqeڗx ~sOϝ_Uz\5!V85B#zFB < zwESoGI[W*-J~S $B1_køԏmt *XbRX!<_5_ʁEKjbXsh5]m3d?k[LDۃ1SHtRSR ٫<ڂw nչWV!/}I \v³ .a/F !aFu& % zŒK&; 6x!?>aǝgvNjdj׿(uyd5R%nU~Of(/[V5!~Ԅ kl :{IO@ Uf?Λ-~Su|V6kZCYʠARd;jeJ؏@mJ:)r`ƿ s{rMɇlm\QUE2q<`/@0: -YH@=ߕjY#Mo{cO|Q >?mm' S 6.`0!{1vwSX6 -R" 痩0rt~a6i%dwwڌ5|cH nOSɝZpVxO֭[p:47-ɒ3;k$X-dm ^"`h ?=`x\osW-gPlκx#H9_!GB` Uކw5&bb+!qY1/>^o3q݃Xv>2DKe r0M%7)<4F>609ul5m딟޹XSpDhoZuq]gv3N]b e_;k9'vyV2zxtdf"Mt!C&jTN6i~dUvuP -6:ir=[*/Njt04PYp #tZ<Æ|mnA땳xnS͢&b`K3Vk'Ѻ|nu(S30Dsd~̠͢(PQywS8=¾= #*g"Yd!phϕ2O%=њ뤍jn.j5/(鳫"AhT-0B1U!0Դ ڛ1IoIFCr{&'P1#&~N]΄CRJ<}zéXzͺ([pu)xc398>. z-S"n .4H7r4Rmy^%uRGS7לF6f`Kuot&F"yU<֐GB@i;^ؚ>B>23 %fh!gn&5b{D,"#6\U-,O^,;$e&o:ߩj#oY :-8)[Xps$m%=Ƣ6@! m !_s@RcƄW T4O:K [})GDС Xt5 ݟ0?SrFiL9_V:kRVX6s\".zߌ{^FV'F*0㍳N0[rCIan+U/!Y[{Qp'!ʥч*LH;U{\Y:r"}C$XPH Cg-~*4ㄣvFBc ) 0pC+(f|nњyFy,:v Su*hF8?Wq>1raM'b‚ Zۨnj m{fu G4Sw3kcLrE˩*YCe-ٌD,KJSaRҭO[a¯HbZrp"NF C_[Ѯ.d@*P-2KwUf _6_@@ JBю;o#,׸n[T[}DL(>M~O^X ՙvt;^H6Hc)H{ў g9>o=3M)TC7e4LJƯTFg줱w*XmA}H!jԙ|X2n'yUbk}@̉Ge 1D1e@[a TE}"ZO?>+!ۢ,͝m7Cֲ/*% ֍С/fGɃ=,opʫ jxL\t3YO'#޺g}c'EJEtyV=.r,|?l'T'fjEvW&M HE,ܷO Sa'?84› ^9)myI`9GGgz3'hJAw KWQ8e"Ꮷ u8Fs#4zgl^Akce$/NDb|I/)n'6Yb<7a6M|{,d s.w+\nd1`Oťoxӯ/C*~:gj[B(3}+ӝ:W:W#+}G7:gxoH[tډ*ZŃǭ [FL?<yh/ҾbȩZ(Th7%[k\`9fKL,F9NDde;IN.Gp Eb4)nMUbIT&IsS<Ӛ@ S񨞼 >QAN:U,8u va6(nK30 f@b:uDB >8]swm.\k/h5\*s0ߣCg/)nf86㖸o@ Oj@ Ҽ/aY4 `~m!+gWUG 2P8˿qi#A+&_i\' eRkz=$jV@"l%?p j mx7SlY*XBN#! ir긚o\kr-;ATSeȐ6<;h+RLT7TS`U Z>R|KҢNIv5h{X`蟚W;&zgȏ(gv!٧7񈔎-/G8=(iE5"7[#SUbFv#@TʻO[J9D@#AHUvz\9k6Kuܖg(KIY@Z>f\qhiU&湆"a< #iMr p귷W(9b3 |ʫhaQ=K;n|w7;0:i-aziWTmIe\-ut廠a& ם} OX!T䌸Y\bgV{-o`i$K9W6>T'0 ~.:Lb#-3hFf)ԹJ1a8t2~vuz4IA/?SR%/W]6!2K:K3v!ը6(,Ƶ0tpDW cpL0m,&:sv[Jx[+z=p29Pks倓> Hs6%6,Z I4 ({rz#q~]0=vW8uHS;n4-*WTpZV ;=x#KI]/Zۜ(R<q\5, W` (M'^aabm;o0CߙŌȃ/zD2! :v\ZN? t(.wPQu VJIUt1|Eӕ߹|jOls.d8n?+ۣ[uCbsMeav4 3!.ђ%؇HfIavG,[ilaj4x˓ZZ>.[/`,Ս,Q-G1i6x/t#/DI 4jq#% P]f(eq)׀n9I->x^ewP$U+ Pak 纊U;Z[Uq?R2*ٜXNY'%|O6\<=`JYj궜6T=Yd6]fV1Q#1Uq` 7q*hzy8'@Ļ\(tuu9e"` 6z_nr̒vJ.[(} )yߦD @sթ;{**`o-EfC) lh:dR'cFOc&}UĮ  ܟgFatAח=Rvs;!##2oh$1Q9my!-yTK vJkmWR#E;r("pjR~Y9ٜZڂT_R|-gzW'*WBuRe0)&~8U b |ʎGXN7^WTJa">:s]8G)[8BK'k-ٖ3 z'Zt`1ֱUlS3w/+/Lu{`_'zhedDnztoa۠x9ȫ9-otj󼐸l,Nִ.CZ%8 s lґ>74)2>sܛlE2ܞO#%E{2eeV_ _q6)MKgadG^ %RaL#(x p.Xk6'g+ ЯU$j3HEpg8mۚj\9 vP(mI %9t 6(AԚQlzU9_ ͏[wmȡu=ȥNdĠ4c&=RwݩW]H?ᔖ jYfE×jρ ZJEU 8מ}$^J܅kx?Øiv'f:ϙmA,ҊhQp<+Se⦤7iW[f+6rqNF٧,dFȐu~!foro~`[wr|w0ʌ^Jݯ.@ d10hR6>5fu  fb#$IO2T$i9I}¼vbdtJu{-Y.NY.dx˶3@5A="ku&xZO:,Mc\ޖbtIa)c{E@b^:%4:-rGL7ۯwk6=eQ)'*XbQf, Wmp|`2Dxձ^[u-||Tʲ%JoBRkwu6VQy^A\ɸpEݦ&4eeBXW4?XdVJM%? 4}V ૝pp %m"/ku=^m7 [?xHc暈̷`_ʡLv@` 6~gḡE4,ޅG%J3sLdԅ&IK8Ud /GSŗRrJT){gÈ _\Px$ԋ6+BX[g$wjS! 8eM6N25zUMm5&&O.@ 0sbu1&8@2:q s"{Tz# LO[̌683e sqRG}%ˬKI ?;6\);zB]G/GC砱gYZE30 )|Iru XB[Ыe*"IZsXM68EsT;_plP S6pH&N!RIzE[B#ba2f6  Q9T 1Z2}ͥTl(BŁrNCXC#2X# ]uf&9|h&G8k5r{r;̐SE7iZ9RY$bfSI9j!D@c_PԸL&$ʌNĜe:ElbIә(׫PK䕣'\43h=]ji^jc3.nXo$ӡ£KTj8ʁrnuK;+h$Tfl.r:\YM*ɎݫVOن3(4aTwA(|; U4jwg10- Ыwo3 ύctӿz, 1O`2*Nܝi0?PJC܎G:SVƤržx#i.'B^;ǔZ3LyPIy`̓yl1_IͱZ-؞xӍM)"j߶Y|e[o–CnGwz$4eeW"< #!;Fsn=0,c!86ɓ/{>yw/OR,HkU t53 GP=Ղ<9. {rxWj%Υh=ymd+D>ekhv$fH[.Dq) ؞K.3*,3zĝGI1H7M%0^!/5F7:.KKJnڿ*Wi'6Yl>V)MHK3)+mj_A"~h`1WgG+jCmkֆg$z!^Mw ,ZqML'j Ȕk9DW>K,8eI[wlg<èo-Q0OMoL6&^qdP K!Ʈh|:ȣLESaL9y1Gb~ԺmH;-'$ K1zcFN#ѥ(N\RjM)5oH6J }RD%NP0׹lMx©&^#5sqh=KۖԔ K-$$KO͇w2J%L̘t*%,&voW#im?$14Kaߢ&Wy1G޵7ݪFY[Xdd^tMpcgU2 j%+꿦Lwtpw.A 1ٙ [k-Zu=Cc@ƒLקi- rq VByPMV|sheS1.ܨq\UӱE+ZpR9};O&zWuE>|n۵{DrRٯjL\RعU"vSQfoK(&2)!7{ o]t[عsߔH:)ބmdנaC6a!Sck(1uԄp.ʛiNF?jم(4F)K⫅\5C/5G*k]n1iP,[W-&9"}&M<=nfiBu]SRl'ɸٚY$1>auHk[0q+r_k^rdG@gU}O,*/ d~i m^-e9tT+Nod ó)H#`N]rc"Eᘇմr p7y;bnb;gx} 0Bk$pc<B{PcX:3tl%H8lҲ^{KIDŬSp WwfX> ae?" YUiMZ(koi't>Agg=}*+S* ?. Ra"':&rg'[N D"I@YB*0p":+*Fy|g }3'sN_/|BO€mG tPmOvkLL 0-rMၯ0'-ӇW!q.WsFtrO^n9U)}TQ/&Bk=cl oxf-bO*;--rkɟ+wCC$ 9Pu9ރsP׃ccH:6qTtUsm7e`em,jH8t$v‘pb4肮r;DU,6#% 8 ]̭9N[ɔH +yL3l23{lBy *WAwէ{a>QxF(m("}M'rI)hN`ڞYzIvRDC{vجgX^F KR'wqnG߄$t*A洿R,5mk]H,VGL9 |VOXE]&%û6ILk +MQnNF`)76 E%mGPgf 9k58lf<C!7YC ,1=T'}Ζ=+ d]i|*Iv sXfXbWƆ1uoTkLa׷nDĖˣRK]1/SZ .mC ݽJJ2s(djʏ6Ǣ^-T7t}FEEQ|ĿQ+v,N,gZݺ|1cڦ֙uv@0 N`?.$Qg[Kꍩ+{79Ks)F |]*XԢJ@W&IM.Qt׾~T\`=݉JZ?w*ܨl(DzuImӱ$[FX#)Z ?1vb?\8&drϾqX|+j>4!˱7}?GAVaL1IvEPlowč )Z!X$x9M~9Hթ<c1phE%XOj1#3s'A#[96] HDNp@ؔ >QE(,҂JîeY2O3v2H\Jag6tɋɜ=24.0U9nX?X?nf{y2 Vq8$k s9k}"1|uAbB 3a$^r ׌I3 mgb3HҎs_BMi%x!D5lnegC TFK5RIruS…ESķړid)33u9_[Թ⽰Z3ź) 1bPzK]lebr{$JB\p _l,*VCyp1MgYZ DD\=7% DIncredible_Proof_MachineCollections.ICF_Toolsdocument.tex7zXZִF! 4]A-MՋhvG"uIBm5B&@'LgcѸң, ?@nAf gak2zwg%G)몇eT42:0|mCجw7ΐWDb[ȴsCE=Rl%>ړDQHSӟb_{jL94033m@Ӧ cL 9="Zvn&f l?%#Ax*lscCFvH:t]Wzm6p^/'+ b M4VAh7=<+ÇJI2Uk' g{vMK݌20Q7@Ц0;Vݖ54B 8zZRuʊxsǞoV!%IQ~"1yьWPoQma:wjlCI'~ 3FȝfxГ-Zi.kz.siHFv$accQRq:˗]9h5`o/sVqW’o뜤QOO © cyu.q궒Y %0i!ǧk! p\I7hZ$N0ZB%ٮTJ41hTt?vr *V"fn3=̷?٦=8f#O` $bgKwgtާ+?]`֚%ӭjoD si 8jU3Vj =/goq]{9xW]? ?0/|]-o q}9 X+xu-Senm0#('13 5l'ٯZo>p4HqKl؝ܛZ(4(ҴjKʿ6V E|~uL-P[ҏzVHMJփy|ֱ̽ykd.FּxO8;,7~ nN}0stPL a=n CQ\}iDqw+jH RQQmn'xp{FWzJL z2?XITeiS!m?'/|dw'UH|Kyk#6kۙ&kd |e}y3kpI]>cNQDŽf˵EN"Up2{凑xDŹsBuu0G'h#?_-`y;ĩE_zhw M >֯wFi^yM@y.azJ=;% Incredible_Proof_MachineCollections.Locale_Codedocument.tex7zXZִF! ]A-MՋhvG"uIBm5&r:Wq_Tb>,i#_n !sI|n9>wB9g"n'G8MH~Ը襳E`sJ[&JGբ7Kݫi@~B1+\WtEv_(j k{_4:Na5h^z8F(݇ЗM_:wuI$6{E7aeݑ3i#w]] 4< Oq;:$pcKL,Q Еڀ^6%;/'}n4K(JT<0rMaN覇`2apw%+@$i"O5ʇPo=֡M8Qx`|1fHx@K*kfob0qN͆v :q*6ߝ~۾9q[3$P,8Es@6 iC,Z*BsymA{ 7 &b9:4):gU÷GDZCK'@M *?r mXA8\e&fԫqdk{O_[sZiIYn_|Ì54Nc?X}J4{[}GsM$ ]-tz @*/g .[/#:47Cߚ f ͱe) p?ʪx*J'گuX;p */Y/|Ы *=-k&9+3mTٚ#^#%f7U7*@WhMl3N.ZdM&z@I>rk{I<ʱB  ;]) z, WκK-9/0~WV][tal7;{ά5. Tb;p\ Zx`:9=R)vLG_!$%MP)?:9d}[v&9r GtSF__x[9T0TNo-eSN5~}o(_*J%8D @ߌ FwpLԭ~4Za ٱOm %n%+Rzqf_HwSoUʩTiZ0c`l#mD/TZ?RXz7xNlQ?!pmZ~xVbOMYs$.acٲVņM>`K ߰&r _(3jAAAt ^[8D6-~!$엂}WN/N% ^$jX%wS.ɶ$=S.!9 ҨhO#LZO^۱U>iOg0D+X:Q˶Jx3~69~FnM;Ξ,W#Q. E%ϬkW&/.Emv7/㚄`5vt>Cyf+&#17%%Q,V6Z!a/}a&﫤pn5JI[fm?u3 ܦ=EZDrgv6 ʛ֥P9ƦN-":" 9?G#Uٳ;oqnF0v#?"seR3*#yhDrR1I0pb14 s l*n]}6r/'Q1:?sl \ߧGϑjfPꐯwhT撒 [[M< (H+7dU6J}DC8OCq}dോf`]5DUYW7il!iJ7F"ѓ7HFӇ^vԑE2vn)2F2Nt A ԰'ɘRgfg9$t lV"9JmX79$WpPi^sp9?@V;(Q13 YD%L7BgťٓJ@Fc)?HoikP9CgL?`Zy>FK?I$mzg-8 Z<ժDZ9B|W\ҍ!=ĸvUVPK[!txUl4qBTTH9v5w*LmT13QCr6#} [WM;xjlW C1o} 2b{BB{s0t~gK\wKRzpUFifEn܄v7qgyVXօg{&4% L㤮ƨ. -O5=`>nOL+{IPRT"wCh>g<ޖB NBڛ2[ XBoWXG1Xu2ydv饛n)5= |d4}~-%!A8H }|ѫ}['؈lt3D,#e6RRVJ4zN& &vj]Ǩk m $΄!&KlZw MH3-9󶽞e=*x֚fOҕ{FJRi{,ʍW*!1|C4_{J%0KtIXF?9|p]vqSTpBf9q+o~-U#R #wvUɊ-[LAŒ',m` ͱŕ_d 4Wz@0HߌD--{<| xP/Z6/N-UI53K\X:Hnq*sU{LntNESfTX3QyS?{:1MS,.u] ulFA2hNIJb6sw?6+7i.1|'-,QɏP6xuGSq,B!A{qlqixk`&46[ƞe+ր5bR7J%(YބFURSa?P(!Գ'{ڬ [EqU_OVA(Y>0m@:⚂*B<]f{4lkVuE]T-ʬ9 >INܐ9JfNzzZG!%(CtQ  l _*am?\` ioxfC*-& R6(9'X:Xj?2%^x*gMd1yHkdQ2ϭr0?$4!vJ4 s,U|D >E\GUpq@HjQhلJSNzi+.`j[2Q!7'uqy-jTtVBS4V١|\$#)ɳ=e8Y[,9TK`rhYOQ g&m==jLpRͪuM3@Qq_,[>p<(=i1ٗ[.O:77z*Pu9 =j>Ge9_']suI p);:)45WY:&biFO jv[OH=#2T7}:J,M}ܲůԨ.pQe|w0~9 24 @ ges W; j3QdRuF쨎1榶;X:MX:1缸'}DP+m2P3-G{@P>ob"x,3V&"b|A(9 }C{;Aɍ9n._ױHxV'\~( N 6g v7."7X?$Y롯!@Xe\f m}_OE4Z׹e v6 Km3[e\ɚlJ׽\rvepN.|X0, yy 0*/.X& mCkn|O/mG*C x^>uV{n{B0RĔW,K4Wm4t@~V2iU MB{TaX཯$22j@j"-GPMǭ-1[;6hiǜ]>gs7E*QARY羇Ur?6һﯛܽ{?%$nPJp6ՠD7#3zBƆjf7|''DJHG|);D 0YXh@`2cG[M9AY l(]5%&]u>3*.*n^ւa=*iY~F,^zR|5R֭2BRȴvm~hTdC YB-jF2) UȨޙ%:6]} ܀ SU pz$d)@f$8QbUqgCKoW cqR |=@לrm}t!Kj>A`@=mb3X:>Z#. =H]+Ŋd\mk㎈Z}jL\N&wm'pc"_KrW`7t)`r k%P颕I=Gd. 4}j|ojAS-!T hX-4XD#{q8z9+xDf+L&nV8m-~!W@'zHlbUEF]Zav;\_ū9h" d5^rF+5dMc^qq|Tl ;]1Po&XMmuX+?G˱gYZd賽r 26TM?t!X:x8=7̔ǃdQ^*-y,WXGک619J@Wkԧ*h1TF)32PJ11BUDV$~ƽP,NiN3.Am~wkF~M!6;BCMQ* %$;'ZfَZ 0Q^oΘ8̔H U7Ә1 }_@È>,;1-$WAh0w%"ih`; N d%.C%~'V}9Nb~IRV$[%j+OUEEZf?*`"qfmh QN`ӈBl Q_E(#n΂Kk".;ӰХ'og^ _~O}l/ a:`̐bD)ӺGn}Cq7'Yubp 4 9 y̭'v ^oE۴^,;!_g\-kFIH6HFc7ZD}#$u2e 29BsL{"p̗ROs)- m0q*~7JˈyxyQ܋A$Όˮ [*n@<aӬE˜aYV3ʩ. =aiHN5p$,S* ^T"u(k@=u°na; kJ{5 [}L\Z Hx{E/~Nm]~5CZkh=(qm2gƟf;xV7q|OͤqaUhevy)1ϙ7taN%YDYdZq6ӶzAf|׬mE-&dpW!+%pGT: 'EGDO|^Z]!(|&fds&U U_{^uorG(g!oz6wAbDB} ΀bCMA*Pe绺{YkEPO;{O/!X] ~5vDpm]ݮuȃ4ks9ʜAg$N&z#di55ts@ X 9{kй sg7z~BlAZ%ZW:U/8Wn6BwT/R^оRѣt\dX>9}uAٓڏXɸ=F:yU`/U& ů&%FL5r]z!nrH"HCz)% Vn-))O>9jYb$H\JS3Z@AhVͳoXDʠ=b34i8(R^D=el² PH(tQ߹S0jTbz/JTƻ3)Td"UZr.nvWI=H1+3 ]Q&'*sz .-R7XyQm6Rw)%k'=7yVr$(igYZ  . g .. =c% H۸[aJSZ($ U(͠dE]uVǦ"W l 1FNERwJٙ k1gQRHBfY5a=QmƖzC¥AJwPkj9DPVqxޭx3v:YDl bq HyV 6iKK}lp>au]fA;g '.@ fdϮ2(Vߙ:dDG%NOd<M9C40r2{;A 2NI>KQ׫>.7%H#4FscQQRdhC ǁW@/"䖣;kB)ZZF!;4gZL/6Ȋqp;(_ĺȋ^UQogS5eׯJwcPJn1[҂C%zjg)IRp,wEIKU@tǒarhMY^C&JlJ_8={% dIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Propositional_Tasksdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[fi]`h=xO~#g#\HCvg75"'sHjV[1+~_?%D&O%Ӱ ^'^++>=A Ca_F~⑱\9tSH ŞWgōhlEWt=nܿw Y&;}:^}8t6nw}(S.NX+d@m*Ų"Xh4݅_5bG^wHQG?2Sњ\ipɠ)$& ԰khI}S[qg4rU6{L w%r԰`vS0vN*XƆdd×T4#^:i*{: 93u< NiWCYmaƙ!ӋS%]a}BFY2RCmΆudV%ʱ4~ˇVF7GcQri1۴3m .Rp+d@V '"(VS_f aĔ8\t\0eb1߅i-[cɊ#qm:C6,41[, l;Ljx}ojUL_ɛMyN2=$9KK\XvSFOХw[gm:laN7`8.+ }r'*ZFgl[ ^!) e3fZ5U|?׵FkJH){3"u_|AK@Qgeu^6}qj֣l##wSP\hi%#)?;[7 p%Ȋi~_),3e w9hEdR@}d2/Ԏ7Nݵ,E%$Ǟw>7'i͜%]ϯuHnMQh uCq`nFb]*P,2~zI[,snkBݭDZv)n-Vay)<55߉HnYxUySb[ް3Xoݮ=;wf0]O 6pTA#$oMsfN'#D9DW@n)t2`ج`ZW]g9Y72_Wt,K)rD}'O҆#;C4XƾlW:S }k+/n$I8`U`";i{]T5r,.TsX6."Tdka!*pqʫsU~> xH;A\ ۗ'lM_w_%h]2Lk A.ˮi^:;s뚱hUL3WIj?%VtT8aA͌6(lKp!f}Wx*Ƽ&ENL]FؿQF: f 9$8!U(q/1H6;C!Fe_cOŮq/0yxoqNG~!6%Bb۾F2wCyeR2IG0S^0zۇ7zF規 k(A[2TEW#q5\'ՂuB|/g ˟MHsX5'1&05δf0%OM(1[+lh1!˻J6.LP1tYz1+ O53225F[ң{ޏŤ$}~Vڮks%{\aJS8flFr4.&gC[#zDei0{fH!Sd_d@Fٲq+781cjlX)%tivlm'(T2[j[7CYucM?~&Ew /Tf&4*uDž|~ҴQON؏e+a>+e>x;p>[ztL5 FWT' 'Ũu". fy!LaCWYeIq-zea;C²MK8o݋M"Y>Gq{<˕'QFdl'+ Aj양D. "Pg=bW *bR{-/{g r 뼖<32~١t4;R6>Ylc9e5̛3Y!05}P V\Lt73u:-ӊ3]+3 WWfw"t͇NIPW5tXh= g{s^ % s`x𔈢{H, ^BASK1<'U!S)H0/jfӦ%Suz,tFgpi(A93%06cGہ\?IbġBמ4d@Vj+W bOQ3vK>1HP1y.J\ +:3{59q\ƔUBIE M,S̛Mz=ZHI+uqxېXf'e ڪ% g/+޹^χXȯ^!Iʿv޲݁~syϺ@TN}{3~qVBO}<^||Ax|·"wF5pu-KѤ^|󫛜MGlwX|.x!x^˺^_[i=J.9oN+MxU 쌯XTDȸ&ͥMj`rYivPN'k`;rmR'cxz;u`=#;史fg2+A +kS[?#\+BʒQaDF]V%^s _,-TS:b?MC$ֲω^AEĮ?C)O]Z9TdA .hF8Ũrm6=4xNc-C%XŦh&N p 9 {Kcúe>y. FΒs\SB XlUm/Y;5 1!񯦠~7>=O)!L~%3pJ@kdmDgG3ʳ*Ĵ1Gfz{&LɞymNf_!B6%°az`H66fjPR'Q"mႯ&]wFnA^8緿\s^oV=5ٔht [eZ$ߖS: ͵%$L8del;hDH4 ph}I+,|65û2+TPѿanFK+On8eŪt!ǔE߻;]jDzUkHӠ ?wNqПC'K0/&͹y_S}jhǿ垈7:Ģik;ae7S>Eik`_"UOΦp_1OyDyVꤱ1U=EPK̟6Et6=P8 t.ÓL (ʾtw?0X)vS<"wix&Iނ6~Ck,Pm]QI74u,U~i AXPa'u6zM4K/'1& AqDU =v~(v,ZgiT|H4W4_J}"7H N!p@ 9l'ooH,4f6@.uŮ?zMaf  w}PTyȲU>.W(UPxCvL/Xf؈N:E̼jH9i0'8JZ!^2j0^ހ0H7tʯKňuxS-.^Z_r2=*Q=?RL_2hߎB(h0}:%nK1 'xt(걠Yd"4 bZֽXܠ/>E ByF!ʐ" x*H`D@iTA irU q.BF^xAP 2j :E6ä'Xfly_es]gxvjaΊGĮ0-X"܇>TV6mG5=LxJo*LsTJR;5IܝPM?]P2FPWs} x0N u\4j 8j%%a3 Y8)*uּ2z l 6iyA@6d;3'5Xٽɪڼ䛱Tԣ@:!\>=ɢɶajuOpU!y(<l+R[sf@>!CG*3znZ %r sz#:iD=E:@oWQ["dE0#]iɷƄ%V\a^&S(haK . X ܝzCpX$fxR3pIAMPw;Ji;nv ͭ _dqDIi;cpUH#e~Bd؝J"rye>y}ŹM_*FZDw'jp_GBT-LBw6Ct0b&%3E eTZtZM^bnvӫ %m#-_iӷ`,cXˏu]pdCMSI(;5]nBh+%=ٖQsNռg*ə:yPwęI4junr=,h|*@Ώ`eng\Q:ই[t͚Pzg rI\tk?27}RQ9vs%bP]m^2z^Ug|M2ig}edAj8o[ZQ6fi`Q嚊__;XgXpzIN,_%$sElFztݡX>oUlDX::PT/rq`]rK!Mo(*J0p] x-U@ ʝ*Ï,gw . :β;go(YC8;PBWL-?w=H i"ҽ2&`KToƄKI|H\zhAӡ$vi3FaƜ," n,Q9+Ãj楌<h#0IQ{n+򿌰0yS E;p²H,in} ɩE$\NEe5ÀQ<+ fǶbDWs,SMg 'I==޺6T2B#坳9wr 94NzS0?u=H+J\!{K φ//P81S:/5ܧU)U&gYE}B=kFK6{]eLvw˦)^c ^)'T@?*S3'|tTmW$ʷh׊"x(wPO~3 E ?۸-@ ŻEǬĤjJc c.i5xɥ-KbBGxfϵ)Gn1ԃ=:#+B`_¾v0?&~Xq0b9~c ^C#YlքRsI= Ma01e@yE6&q]jM2~'=zl7=1 ^(EdPGk[9y>nЙL'l McӶ_z,6rc2Zz<>w>,&ʖLH %'ل/fU~\9LZRB$W~;/g~[L @+:~rl3++ű/w ppuHłMc9`c˿˗`NgQ2G`d bgbtdzvsD.u 3Ac*Y'hӯ)6D [ĤhZMWcib~:*Ľ,3ccP襌N)m {<~ӟlo}ܸ2EwŎ _]!gBs;W%+3gYZݿjpm,uGMp'"~ b;IǨI[mV?ی a‚Q$7aK aE4g2Mq /z6ЎRna<#s 7a(KڋVv?3%ֺc55wfnt Un%gNF$ܓk੘YMm@{<-+$)Ցp[n%q,9uڹ۝z\\*;KY>+&am||󔢪Vf Hy"\{ԯ>Rjeʚ=3u/] +*$MH ڻ>ldx^NQϚ;C$@ATRR܏ȌJ 툄rQf2dQEJ $aAHs YVh2\1굱ZR@ۤJ+#6%1n-fݞ'^԰rGa& u;,Pԋe#w&',S#vp Rx8W.jZ roX2Dz*Żo~0%j$UJ/q|ҡF(ϲld"B5u"pC]H%8*-wou3P~rĜRU *dQ#!!ٞc@{B<Х1;-C'fUbݣ"pRLYt$qЭoپ^-:xro7L®!l.`ԍ =H}jr'؍u}Qt䐆ӅV~gPomj֭i:;>+0I 38{It$jK4dQL#4ppI1ͪ 7I݌NtbD}qMY_VCr8̻; aim#'ㄨՇ8:k5*RB0C+lͥG?.0ݹR?A3$SWYi 0ga=Z}9E^3]ʙ]⯥KUaY t3z#D&Kե#3)W! 2bx$;ޮ*s%^ͫE>}nc D¬f~PYb*l 'K?{8y^)Ck]76m_?t@rOg\N.Wk~[&Pl<#RYQu-l]p^l!9OG͗=`~sO7~:;B̭6Sl wm5`G#뮵"ɎiTb{wd" x^E8 bi+nr(JU#I ɱ)m3Tu 5pmʷMdgeu+FX+BwRvzM$4l+<>pJ:/jy2*Gd,́&";_뻜J~K'άas]aJa'71(-|Mh=RR;[cҘЇm\Si< ,dAO}b\n5 $=;6G6lk-bKu-"5$U='TZ)m| 9zDMJg4;FA=P~_fa ,bI"_4X^`.Q{.pV齡/[ŽBRN9u0K. Kxp#;1]>1HiV6&`._$ 2eiWg[^~`jЅd} BTM {LGG. bfЛd5`ʍ7ۃ$ֻES q;qDC`z{YI@BeJ?Rd2|zQ)N}tze E6U a?OSY`L5إJ\V{!Jnk Y86cĉ Jcl b1^E7yd!'ĄG0L'JcC+egݻss7A%v=-# rGhY6?|*pscPDokh>23rrJj?alt/2kMvH5rQIh_y_*EMJV>Q Bnr.|OJ6zN'& ^VKGk*7}q6FDvZuJwdK$VvӁ)zov"T{2ɘMNxt5QVEe %T0X'T 3"dkʼ]YnU4Y{P6wĭV5= 2hc?|{EJr,Ͱ`]R9K+#a>OL zE dPݵ B<߮ۊfxir;Vt·'GjWDVq\m@1P4yt'["!DžL;)7#hWKOb¢FX << X~N hUB”sje.ғfuڎ o#/4*9&$3HaMqD7a`a =lJ=(]t'O90mRiफn^Kةk#- Qy2YM!~Ju%Cѧ&cPo+Oq6ٱ%ۇueNr]_) Ƀq{ zLi we~B.u솘{Lȍ0\| ]s "ḱσ;%( 9.۟ۂL}IRMk]]E5)(e|{~3.z]<5wD.h+?l !*>7E^Z>?хe֌SɆHSSbca 6)ƪM&)# +'ʋ {IZ5Czn@nŒrH tsirq.֟BePzrar;1}RCӟn Hl?wylqxڻ]gzaYBSLL(q Y4IЂ SiݰU @'|/f-ul%ŕIi&99^mR5WMg 4tklWѫGpV0塚hNi:] [Ht @%gYZ | |P =w% lIncredible_Proof_MachineIncredible_Proof_Machine.Abstract_Rules_To_Incredibledocument.tex7zXZִF! hl ]A-MՋhvG"uIBm5y6C]mĹ潀Ɔz}W1ՓciB ֝IJv:<3b?&ï"x/DoJv* B/} 1eh&Q{r}L´V5՝/LK&Iq2S٬I >r\@[/"B!7=r`Cnhm6Ro1k (k@M@& lmʅȊaܙ}L 1a$hZ(\ Ds^pA$sPлb9OT /(Ӄ#fwbn{~r^ dsgҐHNsK!P\姠G,7F,PYk}I6p"~+i^d*j 5ԧ X/+{0W"jzWzmYb {USrH MvΉH/W}*C_?6+J 7J&漝`>lYw8ŀs֒纓2|t2/6|$r@If.G= %<`NUiʍGA )`IeatӰ^Mi73tKnW`,d=ݜ J`3mc"/B?#'cpMh?Ox8SΓjKQ< l}du,vC4V>ˠxoIlA m'jዞ,RPDarpNFeT`hH6mf7Zx,QT(.&B6qv,`v nw_W4R UvS{jߏQ࡝Ldىܬغl'L YykGˠTD;?{OKoMlN0aBxлFmЕڞ1Rsb,6&l6Dbf֐=o]l@a/G?B 8e~c-"{@p >ڢ}YNWV؉hYM5z;h8\ WW2Zl<;`qTyZtM0;}t/%'"6<lrB{ ^4sji?`)G9=^ߤ8ה%!xX*}:[׸g7"ES%z+Lb Ν/&9<·,k(䤂RߑkeӏewQ'Caی[46!K~ncJX3z+2<"N}IO0Vb9J{<}*7-*WO.60 <ݷM&ˬK|B!PS,A((RzRWp2'5wv gTkY;TNrG=/l`z|f+B| bmNSAdZKAFAF o=Z$g!&`;r|,m~ DU9@Vs ?(wZm)o8 ZϞ*k6w/U޼h nگknuHNFB,]kR_Bl֭ miSوaDŪ/ Leo?%薍HqWҦ[frVmuH/{]uё_P Ww{}.E9?' {IMptzЩ&(ot/ 941@ 옵),W{tqcVdBԣ-R]mBQ+3!jf ;=&vhSZ∎@ eBO>ǫ]sl`]=?>l3p5ѿjרo?I )|X-t\AN$(5){ᱩp ^zR_Z?c _;Ee? ;HQk3q\.V3C 0qCݒZ]jPWLaJ=GxBur7k9Ve 6rkh.OZyiTSIӰѸFfP!k~g]eT܍P7u>J"P %54r[sl7@+Ezcq Z_33i=o_ӤFW ܅9kf㵼% EĖ 6r{ :>Oͅع x>ƾ8/ &\",'Ə -Pj˒ $ =_% ,Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Formuladocument.tex7zXZִF! W ]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ.9`itRiwkvEE_SDeQ|}*Ds}HI6ho5qS+mMAnd$TEd(NN ۭgcɡOP(URB$=r\s˖IE(pB)MX/ezuOQC%p;ᛷ(s] nF s5h K*jD(g6Sb՞7 BۧX/MF6U;=}*-yZ2/?Mu,[bAEI~ LT8sNV}rd$-J [ӺEުӻkmR}1 yfy7Ϛn8t{x?NCNxrt+ҝym#{^Wy`H|A5өau1jQԢw߼ g"_xFԴǟs4 o]ޞG<6{wr,Jס)w{lvȢ]~m|FP\LX?S('iեPĬB)5'7#Z%O.&U_(_fnD20r߻w! (+ n(%-=Т26fxHT>ɪ_q _6׋}-A߇}C,M.;ibrR^A=-D'B}EH>f/*._`Y۫fY|%;ݞ~Di$<ނ=6upw_)K67:[ 䄄J{APL?> |FAo7+H9}VIƮʋ"m^eQ=6[,nDѵ1Cۦcs4S%(գ[H7Iv#iOMVV7dLRcjI?%*d D:vx!n<٩>]|Ss%B9$?ͧΐ {be# x jy{ѳzhJx 'G,E"d]!s&.x'Ie Gl%%GpF 6ڲQ,=2$2j~}H?tazo`'+c`XemgRXz"azk%TWgKĶCw#LQ|땦SQ|5~W!EЯ%t3xL% +H ìg,n&YZ'%nM]S4(5ʀ TJ.$p|/Sw%.,; uLEӴV쭧3;!6@mx^fiPV R .q~  W'?3:џUFYl/6}GV{⢑q̟AF4&Q ?E8w 5Sމd cC,nQʉjntm LUPP7(52Y/ã^~[A{~4Gz3gh|hCR  6.}MMX" Q 4|GvjTܲ'rn3p<#{RVv~Xdκa$}U0^ o8"}ۺxe q0"q+s5`/P]cf+Z(@ i$H&ʍVs`<6gd?U%x';T˫ےY,Pd拣CIA|ݨj/h ϳr'pJ4y5 [IH.jAV+!֨ J_X~d~?a q,PxW Ek(= otC ʣDtzE_"/sK Hn%r*FJV1wK5]$\%lRr> Ql+/Hϵ)+@ oT1D1tv*>NˇdiP{d{stUPҧC &Vo`fPF',fBCQ&h~T^8J"ُ!q#eE*iT8?SUŐîO3eM">o(yJ4YR1ļX#cnL40 QsCfwa{;P>B90gVA/BsHUUkmL>D>zmFfz3ovF3|qo{.#8WC96-ෛb"˫"wAOr|+fu&pqSn,Z>Мǭ~߫ZtGqV~g*Z&PHصDʦwؓy5`mǼBl;o0b_!j` fg?? Ɗt1L*XW7S 6J S#gR7hr@(Z\錾TF9'чـVpK. œ?nra|zEP?CNq3clcE &xao=!jpp46iHIQ7<gcR'yڐ88@l{v[I"Gnsr=QJNI ĸ"Q *4:|!ADR1FWo$Q'3^m1(].aKl p1( ;\H0-_1])l3#󗮴r`GICPN>Wy*C?MvMB-\ru\4F{m bG\nTAzQP} f8]ŭ&d'PhyD B! 4ZiJNws U>r<,r"[] @bbݴ &rtmEI$tϾEGb5V&>YZﷱn`]v,!^{S/RErYuQKC"eF%;n2O.#j76)sδtL+=1tpJ\~l5lXў4?E#xVb)zjH*9E'H@<_Q4xp⿪Eq_:BpohMМ 蓐H]@XlhD&qmES|~Yh piBYQ&E2jpa4tY@vqKUd\W仟gm#3kD iuK-CK 9 h˗Ei&$q&9"/˦EݥjW׽І ~UhQ@EO7,Mj C[!?;ρWW {gnlwS1*q]뾴*&v2m41e &TByj~V3k40j8^BT&RW/ pmV!75~ 9|7;Ή^ht 3ÊItNuq #TrKZ=IKz$O}S>N 6zmNFAdA8L'mLY:VRK4n[N*.x C;T^hPC*堽~aUK2oL͎VIyWKvuఏZ*iOќS^N.Q xv$Z3{^hMKtM̆aY-u-;hK/WW=$v{B24x_fk`JKiprϒ}8He +(كG A/cG3%#`yoꫠ# : -|ja뤪.W>c*JǗx-dOFC4xժʑy+/YuIyXx_c ao6`pD}uarqEl}ABU!:y7 4q\sɇef{K4dת31%AEv@MK8W 2A)C]VJoQoo67Yi15L$uE7vtl`5` TB;0U,uOT+0paτ_<٨G4˿5ɻ>'g{j* zgi2r_QϹB `͗lQ- eɓԥl)_cNռW@v(ꖡ'Ԫ^=a 5[ Иm!nwAaeȦYPײ2MgXwtƒD!o1e:UeYsa ><_}&;âd[gYZ a=a% $Incredible_Proof_MachineIncredible_Proof_Machine.Natural_Deductiondocument.tex7zXZִF! 43 ]A-MՋhvG"uIBm5ı\;>8mJMdUM>@\/R3֮cS}rp)tۏ0EPeXRH#S?Τ+Qn,M&#R%_1\cU#Zv׫W/^i^YȣV5`ǽ}|/>}2Q Ag3d+  ь)~Yj6ٓ4"] nxpoj^Pu<5';$.ǶF} @#N] 1^>Q:Ğ>Z7}g?aR KQᯆi([Ðj^vYȎ/?dL@|B)3ĵ(v]VKDŽErp7u^ab %eOĄӤ9&}6@w :Dttn?@tmfz0׳yӏbM\}C@~^=-A* QzŻ)$Ui4% Z'I側̶5JxYW|1 kGQj)?l*]m{̼Vqr2:fÇxJ'Rhl0ݽ&;xCd؆p7,dA2ۀg1-VjC4M&Lo߻iZI_h1yAE0Ƿaa0w$5jH]ˣoH-Pww~MH d<@@n9UBz2蜖`hKhYkxz+t&Qsu+O!uL# p<klTeA Ql~wi1@jG'<w"V (-2 "gEܧpM;zTu&·6,!.OA]x%^~~+ Iż2sa鍤Ԏdbh_CeYs$tzƧ+N'q&}tp+aFS.Xe*6 p0 D,#&c6cBJb kCOy1's<ݛo=繘D&nS5=eب\d~4F~A]2T ]_\ )29ǽ`otMZN dgɸͯI3IԐV~Gd@ 0D>PWj.+Ol9败+Ge3I!f}8и݄1U w&i00/eCC Jwf-<߶!6gi'RkR]䙟L5DNl&FixWϠ[ }4bko8FEp>,~+V]r}y>fزx+/PPYŨDΊTBI$Ö;g~KCw䏄t}bՁYA`apAIUPoovwfJƼ`hEgYZ ??>=k% TIncredible_Proof_MachineIncredible_Proof_Machine.Propositional_Formulasdocument.tex7zXZִF! e #]A-MՋhvG"uIBm5LDj1F>[|$P!g֕CT%UܿQ-u#(oXS=*~ܬL~AQDZ &^Ha*U9&͋XvqƂ,W7-挒-9e1}@J!>/*G~ z BA]F٦ ak5Ul`h?G !9N7 r)vc?|[S5i\򬴹n+w5&]*Bd|jS)]&EA' <Q؅KݲAebKknmrsNQeLo!֣ƿ`w*'-\4w_k9Q5vVT{0k{/U QC vLCJfg EUvBH!k]ՕR5Q5%#(ʲS|_Zi^Ygn#;ϸn&V$_:Z&E 65aVcgg-!5Jv 3OK/0B c$k#{DG-.#?0">bA&1&_Ux#'bٷ#Ga;|h'I/k{!23OY'LhP~ mv\r !}[.ģ=_j}54?8oҫAL4R(F-j%̹g;sts!0∉4CbBn8 l5fZ?dJuDz$xvP#HS!pgt`E b hEB)$Mp *m Қ1\HKE(X!M??(ԥM,xP v['ZD6ݼM51gwUcV_kywAcIn-U|]K#1`WBot3(Iѹځi6t+$tx^>vըb QY]|7}qhEf.K)׺'ne•Ģ|PV(P={vslг\X;aV\{0dɱ,覘C)7>Vs6?jOM*$ bm}ﲝl,8N2*ec/T;Gbu%ܶ$0a 9ٍ]g3 f^$z7q n;V`H #LzƌOwmx0MM4ً(&:nqLU+`OS_"({b5)&#+yU7A(<-VOfbEπ[=,Yʱ +s(~XΫ*xw+(hSi(H}p#yoyN`KTe8nCƔNa/ak$@!hzKJCסP[PVEɥ4Uq3slvt8G(+4 *5u^dͶE!j)We̥tPL0ryKf$xhw! pe7ewS$;u.Olzqx&Xf>!vN4%Xy0@h=;0BTbkVN5J_z!%^٣ K7|XgYZ __=3% LIncredible_Proof_MachineHOL-Eisbach.Eisbachdocument.tex7zXZִF! > ]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+smtz:rj?3NIcv3"ws%ֈ[zwc VQ[oWr#zߒi-bfnvr^W,o~1 ?ozf'Rh&{)JhGsXmM9eFT窵\G5cm%H-*ϬSM5|xXn-@DoMtKÍ\5POUZ85S>Ş 9/kTޏ?@(47ͱX+'M=+v{aE-GvEy)fwťM_:a@"eH< !E5Lm1G%q~}\c{I8|X;iS*Hd ު@JdYpi9:Yjv@l Gt҉OQKOè<./t#A:J^S@[nG"/3F%87T#*D k&im9Edh!~mrH8c0Ta@7[?6Դ[ tOr%o|u`lyD#mSGvm6Oe-i{<{ae{Dtf_XH^Ȕ]:IDGcX6et8lM$V~})(HUlpDrr}ۘvA>f=ЛEu||X!}(A"$B NaJճעIȠ=/pVx1WοhPD\}dNk3=j(u 󅣞:;b4Mٹ5,rnP5YTxtjo^do PฉQU*̾^}}J-&3sŧf3Ck!qcm`:CQ*)M=a`.;[{\DS%Ў/Zތ<-,Vqp?GtL :! a<"8t8'.-DS^c;zIfF|>L.S/=~h+1~l%ąD,8KhC- EV߰. 'a*1VֿZ ud+"ֵe=[2(RڵZofvwA/~D@=4g|$JΧY[[&ęaeg[0:iR; +A>Ĉ`Eo{1}z-FW]v HlU0MLʀM U&8Pen5ۯ;UticY̐oi|czsT.XKyRϏ *ջz(V:Kot;F|A3E29Wb"[n8KyX/9ffb.^V=;IO\jH]y/|ADi;^k4Coz 2p樻V_/<K# i$WL~(4*0-(W;J`)Hϴ+΄Ȧ1lxO*qސY*;'MVu^2ۛȓe,~U6O~σ3PjJ~UK0nm>7t*OloLkR@W!Hcj-NW&OUG~WիvX[cvwn9S)Z%Nh)RNCat&NAoNk $H38I6 ޱzTkVڠt~@G@B/pS1|]ȴebbO}ܭn aēV{4LnSP\F8O3P^^M&S+Un,QCM1Ip{5\#k op:-& t7ANj|(H"aaQ0 wz}4~[7fa:mjD6g^[EU=o)wr9^9#"(ҚAwǎ!+ רX\Vh!xe:T)7wJ:!\V;雿S7au gc7_BUɵq;NLOGU 4w99Ҧ. Xv#BQ2QD[!_֎Y0(XD~Y:I>r9loR*~ Rg>ڬ!t詀4׳4qGB'c.~40v*6; |!SgYZ XX%=Q% )ޝ~>q5s) E2XPyG  EeFD~2pNfنng~c08xlgQ%E18kY "ofNůԥ ;f|Xf^?MmH:cS͢_Re_X0J7l+`Y,wE6l+&B$htSIoXH0Fs>ER9CTJtͨ5H7<ӝ_ %6p A{qrQYc2:NKeEZ%%HiGrȄ%aq[ hB Pd DϟZ-@HrykR꯼ >4&4acqt XRML6@XDws=ԯhrb{DWQcȺ߶@%4n١jz׳+HE摪~w.vvE{OUvԶG]m{9Ko)+Tn;&vxM}fܬu<9o5NLt LrGs!Ga0*DZ@vbu߁qןs݌ZCD.?[%-II#e,a>:uAKJԧ?[*\]ˍ(QVDyu$[{ȂA:)ҩ*[PҞG!lbM5 !t-VFoJѾ|syJ2xXzލV+TmM$'".J8K0f4/YZP_Zg-l%Yp2'' qM{Ε]3> H(vGXZ/ uL^ ]RB bgHލylxumI͵u1:~ gMHc\|5@x:/Mvcc`-8H d*OrOG "VI'*JUl!|1ʈ>Ojy,D^*)AJ:4J2는[lynXc*Nyo[mWQ,bg`bhl-y3`%<]\Fu֕KYyI"++[q ѯ˽~3@0A/ 'U!=Oމ8rڄ}!WۆLgӳ>1}bsG5hBG4eJB% ,Ny:9:L j+s.cM}1䊐˼]>tl%Hx'ʈŋG ϽF3R˜љyݙrF (u'n1=RNKunsXvӔUB8fd3,e$|;w7L;wzʝjxݰΰ. 7n)ϵ6ڦ9D(X;f̮'^Rupϕ^F?u3Rg7y|ȸ"gys)³^TJȱ`wނ^7h@ nfx :w0U*<&pA3&6Dp7LE3 v۱'LnʼΕ2,pٲ m̻LĴI4 \XKQwv0,dtj/{.}t'A2]1IMFj)/A"f{fX#1NMa+uc.c3ɍǜul~jaYR-yMl: 9zYߌ`MC/& 樨1d,-oniͷݷ!-1XɽBjՈN{S8߲B*~386\ڞ:X*ӝ' ڝې>[D*"? f(3HSM`#:Iر3D=謈 J8oڹ"W3QzRH?̺y/˯wy6u;.iAg#v*u%}rPS0jQ;rr$UO)Fnw;Y/xlܺb{% Kp5hޒ,dgYZ 22K=E% Incredible_Proof_MachineCollections.Ord_Code_Preprocdocument.tex7zXZִF! 64C]A-MՋhvG"uIBm5Ń]Im]\7V` 3y}:[:Վ?7g{5p.;:lIHwNGHB /sLu7>AqXh>Daڢ= mVcc[Qp)x=W|F*40G6l{70g͹*{:C8thg)21Jv_T Ѽ DrW!F$t@]:#TJ?k5QUD;ܡČX23hɪvrD7!,>*4BV;6f& ~N@.=.O2cZ_|ӘU)eV$ӴZWZ<36  ^(uTd"6 kI'=YG!͖ {)Dw`dk^Upl.츍7~X_FG}rʲژ`c=,ψ wύ6IɻjRǭ.c%xT x!$:<'[ Y`$K+Ndc4d2!T?VL}n=9>B|H~ - Z[)3&cm΢x M,ː,pSTJ޳C _a@:GP "PתNvWILŪ7J_;.zyhƏW @a5&E4-uaVgd&Ø3 5l"RlP|D(%3cWk o#^C`t'ö +Fd`/wJjkQjl.5!:_+5ZBI5yFa͆ԛnqF,nĴo+J~UVDۉy-Q#M&>t=(}9 5q]6Ó4I|\`c?!(|2i'{pHj{}oW[* ߵCCЭJJFbNfR4:MbꂥP3'wnEL a>F3-z)ΏH$l>OpWΌg Fş eMQv-F67d /(|{t­[ݷ:Q|F\os#b mG 佣fM X&-cxWܧےca[˧`ѨbRVZL hj,&smE 'Wҙ'KCa#1͌x]F_IFs-T2;LչUBN& ]r g@0DV=*nas1!ن|+QD$|nb1<2x _نř[2BCw;+x?M=1g3EEElܢ~]^@8if{/9m\"m/9{pAݚXHJJ#\-}ϱSaηM#|]Ŗ:lIa+gYZ }}Q=i% |Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Signaturesdocument.tex7zXZִF! 2]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[f m‘xOjr1HU1UVB'G4"gV ?E"~gwS'&W1Ҝ3?"\?ݏFt2G=7##'FѨI?\\xI̴\JB;bO)bsyyy8ࡤ.V죃D,L*Zƍ]ʵ,&' ݨV<^^&#E:³#wlcNEvD!zPDPMlNSMutV ?p;+ʪ%hgM[pԜq>P5_4]_;f|̳.3i~"M{}ၭ f!1k([ &cz •9|04Msx?dYoQvXw>0Iίܩ`nD_wGKK='F"t}@~(qa֣ALzo^;yi(ũ2^<$>4sdN`-Hߖeψ \xL eofKaYC.%UZƵvZ _I>ÍZLɛBZ1I7f24,Ji87.ƥXD.?0WW e9-gYZ,=g% 4Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Predicatedocument.tex7zXZִF! 6]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[frj1dH nM,1 J@eI4B;Y̭ż| xRޣb<^ mb?%b̓Q̰iԖcqv Wr r*x=[˘,BʦŲ]RkeC%̘D5m>Q h!9rKv/0GVJ.3!t r H'vgeD-.U϶fE˅^fdFЦm{oDթ@9cg{z yZ-L8z[9'i uHQ؄bSVy=m%orhV[& cd†~4R#>6h.~EԵ/V k\yKOSaSArp0U0u`{1=:? 8*@qQ1X?Pz5O\dЌkzD wBUP(F{9\ĺuڧ@Q%SݽhI O(kIBmZ.F\҃Rx=h1AI%{Ӡ1O]ͺo MuJ^%GE "7G;U@1А' A1Y7HQ`D3O= > 9M~&,>h"`dM1W$m} &MEρ'M&n֥WWYIZu+ P'\hO+n |JT6L,ۆ=`қxaw}ԒW;/q4Y T2ewLTJ.|>#g>eXYȝqFCI5pEx=`K+Ul@]c%zyN[_k!r؄,#+K'QBlwH زz*ҨgBv)B}8+\GOLukIyJkwGUTՂ&xx\|9A{?/P"Pl_v7Ke{:P"eX;'$(lz y/AO̔3z|亊pcA[Xf~ʯPs4"'bohm|Ħ=/lI|wT{$:eNzқK|u<ҬgE ZDZ^7tTlXU7-I79[X7 ˭;~YWfͫn`>v_@ryI|u=@~9jC E$v0ΝbEUY S!/;(*RV^}#LoWXq0EVi耄vk7  K؍`umJǪP(mf^sg芨zkmDZNgYZ U  =S% Incredible_Proof_MachineIncredible_Proof_Machine.Entailmentdocument.tex7zXZִF! z]A-MՋhvG"uIBm5,!C҃(жu0aA#]B-! 47$)TǒXi{PuHvvqW>R?GT@ߤy+0AS.4B36&YvCא,֨s 4a#!N=FթW, E&B~=3q&n&%]RRv0|>K.ҹ<(/=.1kҵM }8? 6"ƨpEfZd0ț#dLhSB@!$ QΠa"m1˒]Vn͇ aR/2,Gʁ,T t'éu9B 1;A`d@063ӟ1OE/tV$ $ 7pD~ ;<Ѕ^ZJ 8|ξd9m5GdVs#ŧkxbNY%WϜF41n/DJu!p<1Apv:;dmC3\vs;#DP{ݨ?bZ9Z0ZŲTb9gYZE=i% dIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Everythingdocument.tex7zXZִF! B]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[flaT2ΛIY^LͻFCvS_!6 e~cX;۷JkH׆7dɷz>VEctCp[%薍HqWҦ[fi]`t~y<=j B,vgڼ3q_9Gɥd(T.]΄?cߙ4FM)tvRy6 Zciad =HFEZÉjRYO@[GKoݵ1 $r/ Wu}!oQ2FjRB=%F:=[J}W!v66BnA<)Y#ƌRMm)'9{|]'H 7#`^ wFpgiU0Zh| /N[%>x4r)rxr:^&(Ld›؆HZu #˟(Y`χS:[tfq'UzxE|O*,k;z;lvZҁ1-<`O-NOvQhp @[~qޜ1xE%T0@d>3\G1uU9Է p|9DA6J3@*9+et KqxI*咶5Y-&7;W^VU?dOwxW^2/j2L>$@m`fnbW%o]eBd啴v%|p+y)_K?W{kύDbutF#mk,zؔx4b[;kEB9JuMZ L4?Y@g2# R!/ mZ0.Jڟ` O9%+1u x5hKW$W~`F[ˑa{E,C"̕br\!1NPL/* +7-3cP˛?`k)qt 4g: G4{Ў܅ORPXQ OO\p{+13:!v|$~dž?C8S;-Ƕ8=^I̅{h䑙!1^ҫw.m'ݶi?3VP` SdGK1dBp ưtGl5ʥQ~GUƪ7"m/"uޠ WZ0զ FA> B/Ȕ]}Ov=A܏T"9FHtnk!4TR7}!|Y1%{(_6M/X7g@ z| ɵCc44?&.p2 ̗*ǀJmǠSs焫LB\A8tڮeMU Zܵ(E;4HCqDlZҴT'T4)Pj?Zas] MaqԹPS?!hR|4(WN>J7v3dn'>(Ze/p-?TYԟL#8iEzCL6xEuA$Li"A(Tz- gAy ҠELS=kMp#X`@,^U3ϗfoDvbMfaVRWМm?n=>k9 !7()jK@Ű2ȌNlp^YTZ%jE=i_7NgR4| AHR^%A6U!DgN":؍ydUdǁ hl:oH#4H8) C}ȧ`d3*X[ћ.E?ϡ$ųJqBdi+lT ;љFS})2HlY)e0;5!+E % x$!<})@ tbݡ>]#ՂjB XⲔ : 7z4~ <)ɂOYm֔ ~)H fݜY?RWUG|M~ HY+P+^&J-@ OcjAHOik̿*F`2s>=U^+RJgdܐU`q^%9nL/SfFO!cH/W7*Q@V5*h-Wi F$WP %Ո$6oOY`6m)gO@.w85u3: a&l@itmOD؄ 2K}*9Y#xj5'xU[~fjۻv̹' hC.Qw],QD:AW p*qU+ In@bѝ vUÿ(E|gYZb8e53cc6b7717ca037c191c9e2e97d9a9a86d8190a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176