SQLite format 3@  .C  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  T T)plT ] ]Pure:threads=1elapsed=1.175cpu=1.200gc=0.0007zXZִF! m]ŗXiɟHVҭٽD;U dcchY`=WHB=( ; n}W4'8+T 3@(]2ʱ;?lgYZ7zXZִF! b]ŗXiɟ˚Ћ. k$w|fVehl Se Sg4ӊysQFxvRb h2ZDrTrb{DhVШ~:gYZ7zXZִF! ~]ŗXi%F􂽩:*g "Y1/{M1L w~g'z)KK4cTCv}7H}J Eש0H_9+:qcx %$ >ԍUTOvwKwɝOiFZWШj{\F.iIJӞ| Ć v+EZ6T;<Owcw+8š"n#dG/}97)̹TUk L6PپtSH9 MPL@Gн[p3VIV/1#Iݚgp8Dț2^Q:/qxA: cK/+K5֞0B^<`.4l.d{gi1>CBeaO 2C6 v] jp^Rp>"d%"Ȯ*j" ZRt)^yP"51ܪ -bVS/sKL&gݴeA|%t\.:=26D]ɔ=S=O?5<3cm cÊ_J1r t, 'g'/gYZdb09e9124bec6ea3c1dd4804d791582d0da3a6a8d9ca9725dd7d36bf78afe35e40b7d2137df0f7c7  PureKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫j i a P B3% l *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[,'7PurePure.Sessionsdocument/Sessions.texl/%?PureML_Bootstrapdocument/ML_Bootstrap.texk/PurePuredocument/Pure.texj)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/43692f%PurePureproofs/43688e%PurePureproofs/43684d%PurePureproofs/43680c%PurePureproofs/43676b%PurePureproofs/43672a%PurePureproofs/43668`%PurePureproofs/43664_%PurePureproofs/43660^%PurePureproofs/43656]%PurePureproofs/43652\%PurePureproofs/43648[%PurePureproofs/43644Z%PurePureproofs/43640Y%PurePureproofs/43636X%PurePureproofs/43632W%PurePureproofs/43628V%PurePureproofs/43624U%PurePureproofs/43620T%PurePureproofs/43616S%PurePureproofs/43612R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43428N%PurePureproofs/43394M%PurePureproofs/43390L%PurePureproofs/43388K%PurePureproofs/43384J%PurePureproofs/43380I%PurePureproofs/43372H%PurePureproofs/43354G%PurePureproofs/43350F%PurePureproofs/43288E%PurePureproofs/43284D%PurePureproofs/43282C%PurePureproofs/43278B%PurePureproofs/43274A%PurePureproofs/43266@%PurePureproofs/43262?%PurePureproofs/43256>%PurePureproofs/43244=%PurePureproofs/43240<%PurePureproofs/43234;%PurePureproofs/43230:%PurePureproofs/432249%PurePureproofs/431688%PurePureproofs/431647%PurePureproofs/431626%PurePureproofs/431585%PurePureproofs/431544%PurePureproofs/431503%PurePureproofs/431342%PurePureproofs/431301%PurePureproofs/431220%PurePureproofs/43038/%PurePureproofs/43034.%PurePureproofs/43032-%PurePureproofs/42982,%PurePureproofs/42978+%PurePureproofs/42976*%PurePureproofs/42922)%PurePureproofs/42918(%PurePureproofs/42884'%PurePureproofs/42880&%PurePureproofs/42878%%PurePureproofs/42876$%PurePureproofs/42828#%PurePureproofs/42824"%PurePureproofs/42790!%PurePureproofs/42786 %PurePureproofs/42784%PurePureproofs/42782%PurePureproofs/42780!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426 9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|\q%% TPurePureproofs/428787zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/Ɗ|=ki8dpCUԭꊢH쿹gYZH$% dPurePureproofs/428767zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/428287zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝VggǺV{elWgYZh"% $PurePureproofs/428247zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{w 5aw\e;_5Q#0gYZ4!% ! TPurePureproofs/7907zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H:_w^JfLyBiҡSAgYZ>! TPurePureproofs/7887zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H@,ij1B;gOESAgYZ*! ,PurePureproofs/7867zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7767zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2329H%ɐ0w+J~)pgYZ>! TPurePureproofs/7747zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2-pWGW BaЫ Rn~)pgYZ! tPurePureproofs/7727zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7627zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kbЖHsD =}䁱gYZ>! TPurePureproofs/7607zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{D]֙#9 3%aP h}䁱gYZ! tPurePureproofs/7587zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ N"   mN3% PurePureproofs/431507zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/431347zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhRzBUeLSaA놖}G^8 3agYZ1% PurePureproofs/431307zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/431227zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A}YEK~9>OO#o, SgYZ8-% DPurePureproofs/430327zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'bƆzMx$%kJ 7n VgYZH*% dPurePureproofs/429767zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\jOAzU3?eci זܐ Eb:^o\O@j<̅s}t1H<Z؉IG`VXWw:x1o1Q(4\~ķV mtqhۄ/xkNV^02V |~* gYZt)% ƶ1bXⶕs_xRHIS (Y݋#I@Ex3NgYZx&% DPurePureproofs/428807zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%eM[bMq tS'0?(=@gYZ   +   ng5. B% PurePureproofs/432787zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰN#3ajբoȪǀ%n5<J.Zg HagYZA% \PurePureproofs/432747zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP ^Dn pטϖp({fQJGKde j;8gYZ$>% PurePureproofs/432567zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/432447zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|Ib,ԀG .%cm;})WQ$qױgYZ<% TPurePureproofs/432407zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y* Sk+ʩY~ڼAf=gYZ$;% PurePureproofs/432347zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/432307zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+6L`C ewaڣA{2N41]jTϚBHB/xʻ'.eFy u5bԗ٩4Nb?yXt&::#lWy*>ޠB Um`v:Q?R=BiS',BHNXH#۵a'J06,>*3"(ZenU͡ޘ'I,,5 \ ѯ36Z^] >yGI0kύ#Pge^!GN+Ebo "sȶP@~fྶ?uM%tuL=ҡbAD? $U@ Q݊BnJ2gYZ|O% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6O(>? xgYZLK% lPurePureproofs/433887zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&^6C:r3H Y YթZAx')YK9^Џ m>gYZJ% |PurePureproofs/433847zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛ`UvPk%y:0zA g0 gYZ\I% PurePureproofs/433807zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z>n fF̙;Qz={ "ͱgYZlF% ,PurePureproofs/433507zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/432887zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo(4(>U/1`jĶgYZlD% ,PurePureproofs/432847zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^u-&0*P7פ BgYZDC% \PurePureproofs/432827zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z7cLzX Qx5H2;T՗"Phat?^<:ntq]AFgYZ  8 E8aata% ƶ1bXⶕs_xRq9a ؈4nLf{_f~]gYZH_% dPurePureproofs/436647zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝VߞcdGx;VNѱgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/436527zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/436487zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/436447zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/436407zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/436367zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/436327zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/436287zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/436247zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/436207zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/436167zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/436127zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZEQ' \PurePuretheory/axioms7zXZִF! f]a0{rg+5\CJHa=O݅vBfI_B ȋl2 ޲Wo0ORXyɑ- C,Xysp;d'Gm,ߣkΥ6 oU)N*ދIȤ:# lCKqֳTMe7%t+bPB#vl7Fyjj!$9qpew|2Z*>qYvJ? #JkL/Zg;.0 SD]h̓}3m-gYZ   ( I[i) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZkg# ,PurePuretheory/thms7zXZִF! u]a0{rg+5\CJHa=O݅vB]O -yeȉǃ mop5,73c7 H#\ KKzT\3Ý>~W ~G%|l z%S:Exo`.G;ʈq]ra.~7Nc!}l..s*o1/WF 㧥:1Sx9SA@y2wt_ZB9#g~硒𚡌ps`5 ʺL8vԧbCPɁZMtU۹D8pf8|&Wy ?q5DTC,/, N%pOlǕn=^8mW]k,^SV"dA4򣒁xAAԸJb" SNԊP1?k O>[!z,ۮ.kZW'Ge|[=՜ )FL>2&+!E RZH|wz YbJ&d;"3=DSL5< =a+B3ypͼ4ϱkJ x>o[ڭ*W ]C(|φ5ثZF! k:?eYm Cօ}C6SVvj̹OMԫ .~SENdpˈu.; MN'Gs:@Éܵt 3 ޟs>R=D'ß qzYn",_~]`vOamǝ8Ɉp^ M5JiF5TO0%%0H~raQ+ZViyLoqv?4aIM?W.x<[-Rd=?VJ旈}ͷ]rAئ=P[ U!B5^8Yp^`A^`K3ݬ IZ&Fe5ЗYSv&W]xK+T1SC,b< [u0s'ì% 9A5_ֱѷGeCxe&q~wJOz8)$6cM mckAvgΟ`gQ'^+uv+3bAV)_c.&(&0Q2/_o\Y=dM\alnBSĩ}rW+g٘^P+Yɋ0K:wJpIgurB07բk$' ~w?-Aq=~'`2лɒM RL[,†?^BI?#_(9LV!gRB=xl2s@87O{\kz :F sK&Z± 6Z(d OepDC,ޚEv~9!/3251i/7-6ZWa'ꔆP3&m| en6މ+mjtFgp5JtyĚYߎ6P0%!`ND^ր°}:{F`byoLuӇa#E 6gCԾP{ F5@-CR#Fw.w%@5kY˚1$#V3s)\%\'6 zIĉq'%^TcwM"+?]|R45\V/Y(TDp֭͢ڰAV?># 9өh f|eNGWW}iُAG5tAO[r^+fcuyK dxw .JK uBm0 ?>@@ MT28s1T&=k#d)343~G,+gYZ\f% PurePureproofs/436927zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo((|@Ͼ7. y2jĶgYZ|d% LPurePureproofs/436847zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g>QLjr\z 7fj^`9,gYZtc% S; =d\`]>j;@tձDY?U0r9~\Ծ8R>kP?NKG`둨)`&iJ%ԀxַCx0L~>Lct;:ߧ"9#MulAu҉M $œM pLvt[qWWn.=d{'97P^&7[t2?0QP*2/Nfv!J-97:DD=#Gak߬hQ>47r2^CmK Am\Яa f|Ry2H:7DܢM8)ѩpJL@SbVh?wonN!^h*CtkTԥ@^[lwW|dֻ$-ȨY<@ E%~ $a0hCtFA *N#plW0'ؿ\_?}_U@hPְ‹weXuˈr- <0d /'NвeJp?0(SHeK 3"ftM;Rw/"uk%st UG#Y(kwM%/>p<9RHHUs#?G&/meBWֶb-vT68Q\ =Fy2\\P|^tқւͬ.|O+Y-7%dKLV›OU$lEb51Z(yQirXU}TC#Eq跋t-v1~Ghv`%702T<Ƨ a^@$^%`9@ !蘟iԾqir| lfq!裟5?~N;ESg5L=wU )CQ 2&2lЂut]W$c a;3F 6 N>Sg{nSK C iuW#XRyC\8Ylp9yU Gc[}BL(F'UHC$ R-tz\ ]A[üy_p˷i#5,m*ھ5&ε;i׷[iyZQj/n-P=%~J 1h05"ɒuaP ^Oϖ6L#4F@?OJ.]ʌbgvOZbZ WMXB-Cnm[c|/AѠ¼'4?1|cdN]Srn٦PP5ۅ} 髈Aҁ"ĖICoj-gnm,yY&R~ʼ-f:.?WzE|> <_U6?mff}LFCJtqGK/V¨ٗɓrOyy;>:Ǘ'gyejx\~oM? rI>‹P)c.ylZ0H a0<%9'V{jcA0!'o [R]XAݴijߚF| nGgqi,{7eX6ݘ'`l5LbqM]l, YgŤ:x=%jp]!m/ ,)3 x<\P& JB{9MeJ۲O>9S\I =Ș<Ё Nlzw@X,iq5ȋH_NRfs@89}De!GR}Xjg@קqkF(z[c7N&=6Bh4Ly)^`Պ},fdˣn7CQ.$~Dvؘ銆Փ%=[Vg7P<ԢVeO@u4Z˃EZêp˞OnxХ>Rנx߇Iy>=]"W*y;$|iU8fGO[iWåҪnM!"(J;{.N̈ TRUV5 7,mT:'1c4Bw&s3el,6gs6B0U+rz^ḟu/F0zlQe8j]!LB4p;:ktM ڭ9Ԃ}kZ%)9-P뉭dXaQ} 9kbaYn#6rGYsEImچW@/*MI͏<_[-'ߏG6QxB_!5zG볩?]eJ_%֛qeb8|kgD]"9%2GvIO4wYMvB.bZFNn2_^bsT7-UST?ʾٱpW|"@ Qc)e^#Z ޢT3!`*{@&PIdyɤ|Wٺu#qZL Xq*#s#w\[.t)}ϫbd'ݦޡ$ 8'|bEHJؠ߱8DVzo%<OaPKJ:sJ a(\a\FEʭevv һn[N 7 QEJ)&Qv9)?n%ZMD+#l*Wgy'\̝tsеЗdyS7 dWa+*%;#$ve>_OO6nJsCxЃM@*?a:+Σ:Ah8ҋ Hm% =Ri^CM.Jb2/gAB@W -ؽӺyOy cڇYSݵdmBkI1~|7t819m\^0vjXAC_E}05v lpD/c? ' ^b :0HTeJ,$ 8MGspGZl1[ mFl.Z7yde9˶\X-7)qPT%( $ , cr_ovk^!}>(ͻ2f;O*gs(bY,&$nJ5eܕ*c!/WIEAz)"?o O2CBVYg z}\͇Qz}Dšp@ZF+}whH ѣ)jAC3@ޚ* {33񎲂}^cp2BqqQf&V2F")~nS1FeDQSeq1S]UlT^:jYْ,T`>UW7ЇuB'=YFaZFj3g%e,@"wWbwpDR&ѐQ4.R+)=V0`.yâ4w. v2)H-Rd(7TTZ 8ǜyyq9Gf ȥ%?L|Qӥ%gěQ<:ҫ50ЬRX?n|H\ #CZje =݅RZ9X %8,a=ý*3s4Ωz^h6^46`D(|<~0ҟ~$ ^JNжVK.9$W[ʊcS1/Qy ?i߸.r}\&%/M]Ių GImB#T.T)ĘC, FaFB*{46|tkZ_Ә,HkM0ٞrʃTئ]\vd{÷E_@R'6Wi:KE1fwBu6¤iEm!5YgkMIh[@=~I̵ A.UkDx 'x|:~S7eJw'oq/#؏i`\F- 00C~;İd*Z՟0VސC 5G^Z(`;tW4 %.{4<:vESd ,RM Dm*Yd#q_#_;Fk_tmOuyG%S틴C)sU陹;Y_6|ҰFsCh#g ]K#'׺@R)o"1s]V,斆 "-w{47>#siv>T]8mN^ι3Z܉h3w^BBIv-{ο܎[zњnv*ZMk]r+I|[ԫ]Ac*gBS,q9/w[AYjh 45H>= s3<I`$ MKp#iϧ_){+m_P ܌:]rL1x:W! vAK"O?+sG:gU5ϻX -# \,^f9\Żҵ} j9^z'#z2~2#s oӛ_;'0=R[X`.UC_`xx@۹JB/%k>TwW>܈]8]=k.\>{ʲ/Mr-->S3F7w:` ~TKPZS$c?rh~G5r7Ry{sh]vNu7uĿUqH<@ qޏNWwcG,qKX^/~sû_{&G"CN"VI>cdATATs"ׯc8L;Pe2 kJ I&0:?&/ YF9ی8UxJ,:rNF1i@ za1Ө#{GO'$r  MB3AP h/`o|./e* F*6SPcb$rԥzpK``\ {f%[➩4 {TJ?`kZETT @I8FpQ@S h|ut:r_| ^@ǐh!m[1<-قrqHauT[Kw¶wnɏIH^@SJ$ve4MK"~RM,ʼ9kY~DG>hŦ;|cM`qOv "=leSD XƑ ;2tT)q><`kPrg:MHxt7A+gۂ \X" ~21ծHgcHaD ]\>z1/p2boO,GXDEag^Ah 1n!Nc@QS0Ѱس1jZ-)S3:ߟ H!LEs5֣U"64Wee +11X@Iy<Oios_Rݣ ?9'Uxj]2 yUM/E̽0wo <~E@3sla^ 47q$Z3MrۤX]O+X0".^8N̷*j#-PMd'/v*?8߼KdQ;FfiyCk!G#*7W8X卵TTuewVO_Kv%#n't=tn~m;|Dq F?V@ӧ3e "GR7m=;GLnW6p-i^ M׆ZY/m\iu߰! C:vʋM__cP Z*w1xà'Mhc \.ǤãK پP\#jv @gX/skni5Ap!JLT58x!6ɟX7}9iT 1 kwTPfu/'.}D2K2sgݚ +ETWZ6g1@To7cÓ¾f'G n\ռ2BFDkvE(1x|8M$%P$jA=̍N t j{%9Y:M>4{?]àhawb:Tɡû2>l%N[yMȏ܈;Oi,Ίߪ!i͹ W˄ .<  SǨF[p0-Ʀ4nnt6`\a;h{mXe;nQżs Y<-̤ƄR?Wj4$CR?=H.5Ճ˜Ja'1`VQ.w 0:. \JfϫdѢ1n?PARP , Áπ3?" s $*TTt{qz$ڏ*_cW'jj+ E1kXӁ."agfFI9; .~3^.NuǬ(G) %/m:%kz}uWh˒&39W|xދ9c-4WSXtt=F<-P(t'')_!,'ZTx/S/ |HFЌ䠴;_Ӧ^IӴ5 d-BʨRA|71< RUCkK.Pd-f΍vo  }쮀ˣG0}$~O刬*LvNU֘07(d9`][/v`^WGk4_")$ߎg14-1$&^!ˊ8n.al28c1{q~K5yRڹӬc@4bSMW͒y]=bs,TV,t-1^~[M# d$P jLv1(gEzĖh2&<ȹs?KE?T_LQg"KOؖ1ւ'6bc/^RǂvO0ւUDUL&4amk[2Ujo,"ㇷ}AJ`KK:f7[γdR Un26xi-@As?^;${ &O)!P~f罦m8D+(Ў $S.SD OJ8ђr[KW4>vՑ\ ߗ盧$16MM#J6XhYfrq̝NV =>(6TU{ⶖbƑK{ׅ[E8+hrjeBE.f?I#2Rӧ a+IeIu]+P1ػ4Z g<I8X-0vF Ub}:'&/?Q9 A&t$[DFgXZ3ޛq˺ PŚmhq,5ꯪtBe!Q/; u*)R@O|`/*ZèR_N m3 -X:! ts >H[NNqBZ ^Iΰc71tD &2gL/Ex +6#x;x逞E.xZ7RU!WU N3'ؑ~=] wƨ1inq}Q їCMn\r"eBUH Ж9Z,u ׶믮"SRqlBYujJ5ʾe٨CnaLUK0[gRSHm'Sh` -BP;J.C)'- qR]z{d2V*1uRv7zP|y2٢` uM} >!JXǬifb!*ᐊ]ți;O OYOJ} `z:õ-3P?)!H9QQ?Rlbdoݝ#60דM9w/&A`btQ8x. :V]KZՈ@ !<)@r,@6QR5:`G<_3)pq'~_gYZ ;;2j / ,PurePuredocument/Pure.tex7zXZִF! ?N]A-MՋhvG"uIBm5N9Vm6rTpѢ&hEVC*>5d<%''[Skݤөxg0I$lu^ި!qQ7Lv_sYP;l <_[g/z>xm0ė!PRA sTY'Pn?-f-eq6,ԹSEQM*=6EsEA:(' K#Gq]JO + ܆6 `YǏ빛2-%ox|6:mb ר&wdZbF.ItģAG`I! XFŒ1gj!1IfUs$uwq~ey1.B%U٪J%Gf'ykFm.2ej-|%@#_}PY&f o|or9z3{Y(H OG P[F"ɤ~bѯb9g˗ ' ſrky#t &(\P|LddxMa.+_EX \zOX\ uz)ؙ &-X)Gv¬A%J3D)UMHX=,[%#&|[s^I%T(O (@fEݙg=o7cT@mI,4nR3%#M"$ꘄ|ks< |qHf{7n >5hԿw*pD4T*D !,p◁;4xVn~̔;^8, M@ovqQ\> Gdqca,U`< mPv/ootjdr^1j@aΔnShۛ߿:n{I'EjjE S!f.9\0 '5xt٠qUBvCmlԋǻ 7CaRker`bxn?ہc,9}s4vHSr4#{xXԳ W(}wA{ 69$e4޷mG [t-{SCH O3W7:̞yCRvyb>FZoqkkRbX  qyZ@ V=dUDƻ="8sn-5"=EĽCVM O۟ e O 7$QsMt Gx[|`7$f#GTX>X؄?qY/a߀Ek)qw~.׌`$X%y ׮# )hZSKhHǬ<6+Nί8Gw(;h-~-+'}01=m]%ܧ mEÝ0m^~F B9ͰجP!B#Ui3W{aB$c' 4º=2ΨL 3^+2tg˘fn-l{ҪkG}_ dwỶiPO:k,gI|\ cK#+Bɩ9Jhªf|<*t?1^zOտ|gR_B{*%ĚcĂ-l1 d׍؉UT9Jd>@;*û!@A9"$G9+=4‘^Z1[MPk&'AɠUh;*{Hc(!WYz頻y\:UMfQ3D#;e4#m-+4.MщwPo8*&sAnEX[b^zɘzLbeא#RM\}$lSe3B`c1\8I 9 TQ6,|#CDb=^2ݽJpW܈xʫYݹabVf 8>]'0w8LQf3S{TT(wq>@7%Ɣ[Uq鄩W5=<1)-pkS,}}ĻүMP+#˧D@O40sKUSy |\F5Y*h(-7C$Rv ^[sy7Lh+,pvt(]QR~e"op\@P~22T+RlqGi vIՠcyG&0j™3B4ӿ'㻫RpiFdaԐA7'"b''dUmadB!l# vi̶|~3X*Q!VԦkV)\NZ-+ 4S{g@bdն2slx#(U]\[aدʥίL?uftS0m3'I-|M.Ad-{4@ I"k@ɀ[ 1]$&+|f_cΚ[َ@=B_pAk=,Bl:JӭÖ4i\Hpxry,C,15Va^̻Xuׂ-=Vo)><ۉLv;i>LQNePX/K7z T{F,?Y@<˻_kӒ6{2\8l'7 ,PurePure.Sessionsdocument/Sessions.tex7zXZִF! N]A-MՋhvG"uIBm5ȢED:F' Roo-" gNo1.vzXp>p 4fLkS DZw<U&<\`VY`x:UMبJ$\rGo6sҒن#/~F9_Hǽ(84H (!YfM #;uL1~[O?yh a\țƃ/,a>~QqҦk=f!$Җ "S^tȧ{,b /}R]{mhuqXn *Sßp=UZߥaBOq<5y|ihwqP77ˊ[yW;2Ns]:xD`rj~*בeihlRTqX aޘNHƤTb؍=91RG1"H0k>ݒ %i]4Wٺ)*ʲ3uEe>m[yE*UoKܽ p+V\ְ7άu1vԌ3F96o)!}91[7Wq)j%eMIH?LMʢvkQDPޞg C}x+ۏUA W҈j9q^T+b戂 l,_A!X״6R#ߩTX?b3|~;tcP0-Rr*Ip8cXJiY?v[]7 0 ]̋:YTMADlʞ9(텛Z3d+ͻgBGi0UJE៞ep tg)ҁ}N|&$'A 1)Ci\՜k;Ef@,1 5$#'6Jh`f.WqgYZ