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 ;)L\ ]S Multirelations:threads=2elapsed=98.010cpu=116.980gc=4.324factor=1.197zXZִF! 1c`]ŗXf1-/6vR[lRc2qJ)=?$~)LX9u`m*]![ u04WVè$v-;HҶɾ,)Cʜ*`c{:5۵e65L܁d;w]_N>sFѴ^2,>NG"o~Cb,@oUG' ]*QEdHfS.,2VËˮz Fz7)!,FF`;&nX9F/2RZv&9S{JKq$cv ݣ>w |we)92Y_BUH|&+ؾ($rH |Pb;쑅WXd=#Z8'M4dP=MٜiKTzcP͎_G5t1d3py~{/1ig蘱x*7 cVEnf uxE>PB/8HҶD4 غ&rMKRUxlZ@x.&#s=8pH`#Owzؓyq^A )K@K}hk&.a<0,ԁW"pLnSjvS6gi[WVk7DK'WY , ?~VFxG8P^j@6zRl9פֿQK]"Hy^FT~,tUnpS-ؼۗ{Dg-+(d|93ARb,3'E1dKe/4Yf^bZA#) )D_Is;S^=)H_GһXts9Ґ[}f,>uՁY/V`|w<;$#>|c4=Lt?&ԃby_o} Lڼ\V2:6>!"м>1!Dh괡{OǍ?Rb覛V#yϽc> |4X_ULob_;gYZ7zXZִF! e]ŗXiɟ9%Vۋe! O13Zm]=,a!Ւy3 1ʉ)6PZԥ,po$TŐnyͱgYZ7zXZִF! ]ŗXi%9#n)SF^zC+yE~prp*pSvdDq̜Kn0"rG w -hIXvo@hyKڀ&ܡ|#pDm_a x&}- bi]K(0](M6Gn[>qiLdk cI.j^j +!% >e<.!U8GGg](#AR :q .6-(^e۩k9A +KO$ B~uGρࣛQ qqZ W[譼_:>q*rA&F`. sC"nsޙll4I^k!b8R paASޘ?F_U4{UmF*,rОZɯcӖ#4ɹ0}ͿAG{_T%߁ϕd'[0ɥ(TbO~[kQ'ȖaEYK[NV]rpg C:@W)'Gбθ<R9QI>,|+5!j=n!RBkM'_m^S%*'gs/]f{Ic0wR l$^'((^Q]wJZLrzr SFIضh% q; ZLQ&dm@g^#6dt{Dv قldSPt F٢Ԭ>4hfm>_k4ω)I#2.~Lu2Q1Oj%_Ąc_,t|5r .L9ݱl"S`u?zx鈞P~nކ_ҹOWFsu|K$~-F{{㎒IE=soae= <ۨӴ Q^S%Ex'B:C&E{/NNlEf7*>]c5(8(e|І2^D}`9uk7OQ(.GVҔz+\0U댿+,gӎ#f3B[ӞoQruWXU@.;;)"G`D:c7PHCrem^ Rl2q clNmTIPWw >)㦒$ l76 9ov4*h"c믏@uSDcjXB\Z *]EN _~x? TQBg(D)ʾSs8F01.I LraVрW=/V*I1<{ms@#Sn:p*!MI}FH2{3't?TX g1COa~J^Bb2l3rH7pAF0_cႬAʨ>ɆEXy9ww![/5a$ 12=6Vki4z{9~E@K+29oH N;r|.{Ka$84޻Q6uĝޒLD}a^3\Nf^KMͫbs&:(_htm6{H%Z}.;hHRMmB!Oק^MF@W2ˌo9@Ac"O z H#7uB^wHԷD1yE-.Q#}hn>4vI7>؞`HdN^ok'gL'+qx1# j(:L $vq>qB/Z`OOgKȾG;y%;~^h$rک v`glx9NͰ 6 ǃ̉(ݡ]}#m3A18)7H%ZӫKSVRkbpTuSGRl jfh]J ͞tp4+4Pg,,){Ί>^G({-f J,"DhDMQ s`ji^Yw {N 1T=i3C^xLwqCҚ]QÞĿ+I]@iK啰; ) lDr^2i96קIեo_P@NGt=B 'ت84ickF ˩Yk Aɉl'fRe- <uSvIYTn]b_Qtz^2[:^3bC@ 1dhR]@D9##~c<8ysm׿y0IjB2b/I9,zw/F@k"(CߑGI=-E^ȵGu.>YAd9$ .0c+)ƹ fG ObUGvj/F5msľ!?Ldczwf/?Ji23E yv ?D@5 sU P#|]qCոe-8N X"mNVBU1Yl&`\MҼ*9$IVaZV\i"2&2@ G2;Exi]DO;S)㭟SvzR"h)D'jE3}(Gb-9Z72 ?;5Jh.uXPiG}H:0PB(]-Zi^}*"#8)|v˴k i`wX>(/<(P%㍆夵c 㻹g:-#%;ǻ* W=GNNXp 8 `Iv92dh;ӷJՆAG2-=>b㭨G<'>֣Ϟ|S@a44l#U`ՁaOds.W2p_k̀Nhڍ_vff Dc"-vǥ]8R싐t̕*K42lSn~27u,KVƮ7p6f"Ӡ,7^X3?|lk<%}+g^_L3BDGCOTI^횔I^@w 8%0BK>% i3-