SQLite format 3@ . YYQ77Atableisabelle_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, "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  3!4, ]S]Containers:threads=2elapsed=109.964cpu=202.716gc=10.440factor=1.847zXZִF! [ ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'`WQ$'<[ղ7$0B sYԗ9_xˊ.s3>nGZ΍%ՠ֟Viz{F]uUp>6(F4 K@,<$ЮaQ3_C5Yvdl„ո90%^iu1$q7 9z%VAq@B4k(z+9 7=۹z.͍8}C9fv',+'4e7JEEyF!wMd&>Y~JTԠ EP˳2 bmnN*~ )w-0BLv.u c!3gt^eCm)ĩȣmӇ!S)ͼ}59`PT }Lߋ$$ Dfo'Z 5rCƨ0ѹEyZ=Nn.f=q6*ޭ$m1-ur+̐jM9"sIG>~W9Lyke ݇4~v@XU՝DQ O+j~hVx]Eh<5UI3U7LQ*jnz8Kxx| gR}ݛ>n0^}qm9  ! Containers݄vxT~ˡP jȢ5MHa-+ET!=SYsU+_t#xQs5/B_6ԗ~M h1;Ep}W(7 -!<|#|q@Te=%O ˒:&b:ٴ&6Ln%y㳥iN3("CB  BZ&X.FL$܊]#`m_U(HP:`d wO̓7ZIJsIw<ƌ~ފ+ށ@ޫˉ,Sw"s\?2/I+6~iẌŐ8~>hDV#ӫFG2OAGUSVqy[@SỷUktB8Ȇav$>=YDVۻ4k %G2!uhK:(Bh{{#zG])d :lRI|ՀAY*|vͿyH]&33qXP@Dl&equ |= 67$F*S:8<Q;mNO?E9~YP .V}?Ջq6A ҁ V<(ȬLd.pxGzj=!3?+I ""ɲMNBXfcVxD7[oB.U\1!d0%wv(!55%gwT9E4#0 J5{Lw"2p`ڜ-Yb;WXVIS5قDz#˞͋6m}Ti4ms.Y.?B= ]zj[aSy _M~k,F@TМ1"w͟8Gr@NjC$g: 7 }•n]@Dzޯ-;iCw0otVJWOz(dHaAgZItPGP`st+t.Ճsaجh{&V>o$? +->IZ:@+.|&꺅Ӗy¤\%kv w#}% +|aZe([3% ʘ3fkOv"`fƏ]gjl7{qCA0/d #R=tZ>W}[pE#P\sɱgYZ7zXZִF! ]ŗXi%60h{軵tm&pvpE;燌_}YY"L)ÐCoGb!jx,!vms h`Io0]/Fj+-u fOO|@Tƿ*bF~W/lM5c" թ;gh,=L &lTqT< 4s>pʪ_Qq 0/bfUXC'^Z|'^T_:B*Pz!5gP = ^G+$L5 sb }b\ `33G6&S!չ-ET z[TvRq(u 1?4.2K"1Ab#3Uh 1"[hcz}<ɑc!}鸜Jdoz7uAc\f^ tmeW2ƽYUp[LWbqԝ'Nb J?p'5(%dRn*-q]og\~su|iB!) #,14z:?PB!(Uş+.FN^-@xw5NkBVO(c4PhɴB]$b5n&AHKAm3s*ue?K-K3u_ِa4k'T$󹉳;9tW#Iinkknm4R÷ σXn*!X ⴷ @?%GM^ز>##&^*ulFk{"aA鎙XNOm݅‘ϝKYDpY_ Dpr-32n:*جWF!M5lU/N-5m O0:k.kSBi3ެzH6L~=+sMi(rJ7J):+ט_(@W2b/S/_rŗi 27E d]s.tJAkVN|XFKZQyN=Yw мwRMJTqQ=΅m-6(P1c&>˨S☞-]B8ZE".MNŷH6tsį`ULPo}PpVԻLiP|&/Ɩf<>Vlg]jrЕ )Br[ R~7XeG]e8w×gA9[@rAJ~5;~{ȅWL=*P#hݣFG}ËP8I/_fFmf| Kzi5GXdEک"uLIR>ӭI|V %̪eOߴm~C j:;vL<?Pt\RKNDUJxc_Ըy0F9= տ(,Ơл t JC^C`(qibaS}9r*ƄRryC̀cSuþ=ӧK Sj>9> /Sƽ<4SDި)O Dž_IR3r4\޻J\d*R!B%e,H.6o3,EQiJئ+]"b X 9ŗl]OAR}tͽT_뭩MfG`i]aqsx(?~雿*RLlv)K@ 9IY~~*0D>KtL;I. ڥOL3u0+f8V]dYY0I;R&2୿fo[kdy (6 Dqt]j ޖZ#$vX`ҥI+#q),o3GeFOƫ7 ^$Hw]5G@p;CBRutr}Lw㵍,v(}VH!^7 v9ˍfmqK@b,-YP iǙJ=z/~;,ՓޣWFEmOfpJbSk?cXóXgNUYShY=5ҙ%ʨR8bGy^i{wGS hE!V(T)=;k4}P>x(It˨D>*aˋ24~B-5$6`Ldի0^64/XYgY!;_T# W!qB-_dxc hi2? y7 TWr:!dž? F)3A{A pS(KXm&uuع6>-My}n@X/ Cu:{q=^kdЛ2HrAd\/WQ[dtXw b^#Q6۾LMI 4f"/CZe@$J\Ox\ODꆩ> Op@e>^w[I [t@8;4' xGbgp:}|}vq4xUsu]=qL"TVbS=|z pO hC2]4Bf`Ѝ>oh26E?/e֢dn4)*;kɣ UEK赠[ꁵJYtt\:6cI(q;Lx_w$ _0,V\ Ճ[e\$tW ij;rF t.!~h2*_wmA#̫Fp*|?tQ*)mGѫm6VCuj[ׯGnN\5V,Zb0k.U֑yW7֤JOSmk ݄ULhDR`CZd"HjUIն:t8¿&*+Yj/v@מ`$įh/>gYZ3b9a04bc8d6ea49b053ca430fa518bd19b88c6f5e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d fc0d3383a26548ea0a74864cdf8909c413e666ccc70dae3faa5b01916ac4fb58aac61e515bf37b27