SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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  IOA:threads=6elapsed=7.449cpu=30.168gc=0.920factor=4.057zXZִF! ʪ]ŗXf1-qN50^ .nEށܱsO.($.hg/[(xYτ> ,sQC6aͰ+RHeNZὩm$8>|R\ѣyɈMvR V_*6PW0/evÆ]{g}O 7\R:Pdl9 )lHqY*M לbdOlNH pm'ϓ|`?fimQh/&^Md |bNJvM,ᙼgQHRbUsجTp3ݻhjȮi+ٰ:>bTI>e/11a*0+S½N8Y +`i[-[e&!MM q|R_vMtJSȯ*wx@'R+*tXDUՆV|PdXWJLfdUĪS8[gDTZ\cn_͝!9oT $jTE2hᄈ {6 6fR1]QOk=5޽)VsQYn/:E!ZnI7(pzEb5'E0wP 7YқAz u~DGW :M]oa"t}?Ej@*#TYO ɢRSau&ƣWzE{YtRWfC&G2h5bK#"D nbUK?9/ z=3 8d`HP+nk%U MXvEE}.ͱS\Wazf+6햵6|:ƍʏtמb`!TD_Qo"br_;7k8hGR{_2y*Qyb87|mɊӗR MLVYµvfN_QΞrjZ4p(,Ϯ=Ə:=_kwX "OŃ9yTOj.=g:: ? FVmw*E_ Ծb_KݭzL)ۓ'P@s4иrADrZ2#=:x=)u&`NV{rKcA8*_6zgYѣEjS:󈆍+U{Z so['U˝XEpF$Z^:ksqA\] aH9;J+?~BYgClM=Y[n K;U0}}qi?4V" |zKTc9d?4J!f2xs0K{`h ]\<msLhWiod`f@^5b!'7Sye*QH<' B:iEd39sl_qvJI)' .i/C8 sKRo1J`;)RwTnۗU1)])cB+p4%C d? Ww5W@B)iVrY ;v/ہsO4Knk/c"q-p_1N F͘*8ak!޸XVu`g%QƐ˙RJ`̢Oל>h 6m 잫鵏F}RlnK$y(;U$AI/(϶d]rwM%=.xVQȞ!Ǫ @1Mc޵Ɖbed/Gr}E7$6||D-ޯ3stOpF9߃qޟ^M8/i:m5EK9[}JL _;V-=}ѴZ~`Wdfe(ٯ^DWFk_D}wZ @[sJ/%䨃<3Wny|*je]QatG@FJ/(fE SsJ=;qnE݃!rliO`?🮀BR>5I- Q&cϗ.hHvA#(̒3|+ P]6G';{iuSq w>Jޫڢ;LfnnlTŒjr ։tM5O FL3nt $1K1Z*SMy5/ɟHmeE'2_S+-סUyuPESGaUi\tKwcOW_s'x icpSw.o cRW}O ps0m '{+J z+C/uļF~N4+)Zhp1=_[Ȋi;HFGYmpႀf^Z^RKmlCZB#m47&9$ *rxa ~G1_W%қ. nw>b|զ}&SFEz`]e{=%Q9K\7m9JbOvؒ G u=#Dhƹb#!4gVR]Y)Q⃭ (U:}[Ϙ& ρ/+62|jJ x98Sc4,>3-)^cga=qD:7REc?`!X#^ MM.v;RDj\رin:H"*:*F+Ϟ4i5> &QkvGtM߁umi(>WorF$6J`摐!OX:gYZ7zXZִF! %]ŗXi%@ 7?'1nA,6C +]n~ؐiEaI0bŽpq٢^Cust?J>O!,z/kYmG4÷j2W*L4y5LAˮCsEF$)`WӑہRѮ@b=+[ElΙ0v4EoC],YGk}:)U IE~rg0 /1LY=9:ժ ?tH^X׼ ڜf,%a'%gEP}!o"T!pQHHc -"):b#dyT%_{{JGhv9CX2 ܸf>֎S(8g>;yK\ʑHAG"r g&)%X+ 4 &YyO[yi,p3yǹt=~s졵PZu+[Ǽ3|  LL'WԆk,Fw1nHT.ּM&7XN|Ș1!Tu|O{CkP$,gjxr>O=_'X?cOsvZtMS3{`A^Lѯ> U9!R48 ^r_ ݈,`xBN:R<Q3EI-GW9-Ѐbw!%:WܮB|A I*Pe{r}62v]dK+0׸CKq_ gYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a18112526db8784354c53ce82452dd7e5d330d80528fa0 1970713ead8e1bd96e68d55b21b82adcbf1a054c d3ca6b1546587dff246696fd182278283f4cc8f2