SQLite format 3@ . BBh77otableisabelle_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 NN##4lL ]/]HOL-Library:threads=6elapsed=61.934cpu=322.848gc=20.012factor=5.217zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kK=,Z[/5'l/oA(v"`,t)(Nn)D-)]OZ\)⍟QDSW T3<O)Ó0h FtQb}criMfJlMF{~y!rd2;P^ K29ꕚO]N&GŮ%)Ԋ6Agd)h=R ټ{[R 8<Q?fO%ZWFμ8 Vrng{K) ܈Kh=xU-؂b|IA<6ߚ@p B|U֝1iTAR7jtmOd4٘QFQ LԕzNe^{w#rqw`%teDQ(D+$C3  OK+Hն~,7^ذ'JE '*2b\SR/'q땺PLx|( Lu%ɂNxj|V^úStƲVp]H u;' yjŚ:yٟ2} g ^H>a^!ެ0̸Cu,;] ۿ*g]o}rVVKQr%l\e = O)tXZ[Y)ͯR4 3182  9b`g5jQⴌ.G̥4]+d TI2>5y3.),*h0e9CS l*$iLoh SW1[n09:˯IRS&ۨXx0`_<M'%@'s2aڬ o{2/WK]P#N|}+mk=Ӱ[ K ˺n{cV[Kl]~Xz5!gо7餁6:TK3ZQvԊm ?űAtj]R6Ք& wsKF`TwMf䶈SW]#vm:h UVp:T) Me^ [@* 66Vu, ;\\VR ӏ괻2tuBݱ {8oˣ(n7ă'fF!lOOvP{/x~N<8/[^$ O(Z"޵~;+p9&3%f\OR~%$_|CmF ODjrz 3A16H.8ߐWF24Ӝ , H@"SuJR3H3=hVj)BfF%B4qiN`#gkjkkTjrdx^ΰ^=x$%jacm8[(B\3|<8^+E}vLD|Iu;lh%ocm{,B3Bc^+#g%rlpco5\|Ex,&l h E fr{*:gqY`KM>Kw.$wu Z =jaZCaLHqh~ĐǢ[}\ׯ&Kl][&~3|*z_)xa J-jq%_>?`ٱS%bԥ{ǧ O3vWqCLL=퉭_r)ETK9[~x͛ew''H .dP_;i\Xyvc؛M0f]²g4D fQ_#z\h!!Td3[ǘ^(D<e#L!oJ5U$|VjgL^ ZKHe 9!1D ;wVuxy~EG[CIL t[*:$rmÝi1SBĄd" ̙nIb:/睍"cưWS.}j7ݘ@,$**U' C- x"pZQI ?}֝k^ ־^m/-JP\Xi1Ed]`;87ن|ʸiT';akg8pz[<`n16/~`P \)޽ټJ&48szX'er1Rz~7u4+t/EP-|%"]f融wڼy9-)egޛ*e*jQex"W1M0YE/(Ûj<[Y&T& 0Y4(nB"uY=,OȊ;PP)dt>mmmwdz] z-S,3y7Q*" 4X֍%3&[\{^[ 'Xd+fJK [?m*A{ ab ۞2r:zIs6="PY ez& plcG}EW ">6πCPN\+[Fwܸs$GhY:&rE&?ڪˇq]x\}qz/w*k^R'9g~z4;vV#!;hnVn3ln˄@2(b><<4A7*&5KB?eॖ;mWuk?)>ԍ !~.& # HOL-LibraryYmI ;/ v{ :W[J oMmم4t`kPH'ա+@e:EYc-=qҬJ.Nt5ni~|+P{By1J[&7^>U=U7ýrցI0QKCnr'6[fB90a"TYyMp2)z^ qBj>'SjASȒi uʫ6U~w_G\ڐ7;Ux@QG2$z{'Г!2jޯUɋ1m쩤ɄpdP%("+J Ɇ:f4zb.Q2  H rg'4KhStnb $s u0l97օP4-)x+X8.JY؊`1w;y,;2<6M^@6bRz2pdgsIvj PXy6I+UXc!' BTgg5~Zt[5<))ki7u>6(?!wX4#٘ eděR@I*pGM.ۥȚ(nୀ֨ ߇kq-lC6IQ@|*ˡF'=aj>񿐆zL#ݭMP' A_ߤcȴoYN]רgg>?(릿Gj[QCŭ@'IYOO 8 ^Ԃ|{13ct Yn~ gdw|eʽR=3BlR^"GӊA6GSF 0\k9'7hw.d.gI8J{ҫ?Bx p&W^Q!L@X+zr4i!"a ӽm QĴLG= [ia@ggAB`}0\!=ɕ'>0d 2e^,F:~(oi ^z~rY%C8߁+lω <SSуE̶ 1TIM2>,P@(FeoF6I7N#pqS3Γ=pVi 3elf0Yݨ\q ڮ{ٯ7>j/XHR*{9y:(ZL,7/b{UqPܰiȾZT?ɳ=ZXȡHLY{:gm< pyfeLŮOCTr[gW~Ȏ~R(u&'ㅞM#~g@HAC].8&A4eTBlj0W1{+M.Ё8L-Hj>=":3(az/: d Kԑ E7rőW~a^py=K`_흈"ɯw@b;dCy `^CiW>:?Ņ$=T!O=MAW.Q*jYx-1|shr@Q$uE[T?&8 cVD$Ap8>I;:1!kmk3[ %U 4ܾ89]κs IJJG,4nȆ0GݕÏR2A-3CIzSgR$)J."eQj.Mp?gYZ7zXZִF! W]ŗXi%92SȰ=}"ԳB@8G+ʋvHQڄgZ`HQ)̲˞.g@6jLMiuj3lU(@׆Itf pVX<)*B*pY~b PH6O hG̰l0Uw õ;Åƙv{;WV&;0O;*+R5؊ʂs#WR̙D(8׿0B8_5C_ʭ=:ð1e9][vw͘_),V3qşbH)ǮA`5EnVYQ{8Eb*ߏy!Q {7ufЋCz*waS5A|Om]-6ߣDǬC]`hoǛB ԋ؝xQr $tdƷʣEхNŗ<1i_r`zRɃ%27~cN2kH ʮJ;Ʈ4x$Tm,sPH#f,Mх0oo~ [F`KC=Q0|R2uYj)W|(GnGd{:q/i\|^ >b1x2!ַnh4C`oSl3 }h>hnLibFZ|ٖǣ}S7ެ64Z(2hǙv+C@wPDi,jH.Ewo_a>4D@[J1 JJrupkޕˇUձ]DAm!w.e-w%CGi" P$sW-iA/F]+jS/l{^8$E C(vMMdTSXnWSx^C)#@99Elsv驽_7 77,H8.M  zRsnB\ <7[IbY$6qqYKVSDtӭDGSdYw~Ư@0AP ]cx W:&K rh\l1=!>.KQD768Nnyw&7k7n>aAIc@[a}pUZM!#7X;W|:DPMRM uTv+ W6|*P\xPtaq^㌦yތ}>ĺ[M)ߓ5q]Аmל`BP;"n&4~fwJ%4DYfYsFoꓥJ\IqtƼz3=.~؃vayd)o׼_G\e{ iQG:¥ħdž|evxMoK_JL)Tul$P5D0DJL BAƀ{"ĉ"DQHl{i$aۻ"Gueh$p7UwJOxdB ۣZG1or cL9]޼pِ xͷs,g@aC >ы?^QƮ1Y 12؁ykj{Vҧ,r֊tB4vRzrDB6@#WNM[vDheGSATotUU/Uai6@(kzT[OOxϒjzL0_jŸwS焮AWL[ g b:ώ!ճlDY_C(ϙf} ^2";Z܀@w;vVojjxGan3倀Z>&9cw{^[$Nk 3V;`3Xr?ԚeޕJ!i:n4 oΉBAHHԄʴ( s%Q-A#fDd2|YXvuS[i)ƅ!VᎲcxTn! [sWg?:ܺ"p{J|~q}8BAᯍ+"U )1 DK]]neMv _Üx*$S\.~N^dlI}u<Ĺ ?*Vڶ?K].fv&[t+Y]AU<# {d!ok\Slέ\@V*Kߥd2 Ԋ>9(:T|, 6ݸ=,2xQo~ŝ\IɷQ[ZZifC|򍡷H5QQ(Hd82d@.f;k|J#8mG0DHОhcE.jT '  l2/5n϶U#UX[j]Dw-)9?t =2^le­%-\fTlO1NEB菀>_at֌J~5; @ 3(g"˯$Îkh\Y-XxbL_ڂKب* t,#Ie/>cq85q۞xYf t $nv* z%rNs7;]G|A9rkx*UYIٔӳߤUdJA鴵*Y\ @T+\_g\fTfs ><*\;zb`~f~9;t0OQzpl x X \x,vv{fU!KRI6YZ,>XT?Yr̗F3slS ͋0 .V` 8wS\NM''ʖ|T?D~ p#BFF#_>Xt4@G*[˟N ϟ+sxvۭO ^HN00}:BaEWȢҍ,Zo#械8YB?&ˊIs 4j6{mfmhUU:#Mzeօ@4'@چ"ԂxQhbxPWz(D8L14nښ̝!}I͇Nz Ĩ !oІ⌔GH !Grf:ST u5~cK]U3TJh1?t $A-}[us0[*YR /d;aN%B+0cf-Մ%D2l/y$}ڇtv" IHS3=U6["lcudrOSռ2#Q7Nvcn.et{NryTS&༏-^^!V~'%XQg 2H*ԦRMe[.IU:ZTFH /ٞ4rwRúV'?xi!1J[?3{!U-B{0(j89){V aXfc>n9IAww0Xȵ@zgɺ-8>[.n?ꈦ [8-1e ͈ 8L;b5W0~r[J=M] R y8INV`"A@|ƍ?L*d?k&-=Ixdnf