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 b \t ]]]ZF:threads=6elapsed=12.762cpu=38.468gc=2.060factor=3.017zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TvCH\)Xh 'SwBF$L[[wsN3)Ep^Wm~ӥuL=X؝Sb@@DW9,x fΣZ>aYI}+n6xWT%zGr-&QC JY4R5`WSudKG421QC DBKk-`Cr)zץ6nFCO"|`bM5_1nݺ*^۔ N<+SkicUUP-h9__<I@,EYE鏃:;5aݴ ڛ4Cq> Srl.Tι'r7`d,5GxεqjL A} Q)q#^kkf4mJsgYZ7zXZִF! ;]ŗXiɟ 1FE`穵V*=xEeIw秣)B ~Ԋ9[<xהM&3& kO ~W#" 5K|o2 DYMֲ. R>s+)ԖKYoYd@w=`J3ֺM۩J ۭaW9O"~ir܉zPF+IxmcgY8˃a]c"J( ל[cJ/uUn=硕w)pRqp-WSQH).7:'|.}OKw;WRڛ3 y(If}oUq@މe 4i;yw?m >s6cBj82ԄV paz-ݴM85?2Vs`vu8Cڏd?rq%Bw97\PJHeCV+<1."۷/Ԥ!z2s]wͱ{ta2TgYZ7zXZִF! =p]ŗXi%;Wk=7 g r) v3yiR,Xʒ>s7<'jtӘ&3SB.foڍ)5Ab-m )H)&@aT5p^m:1-EeU~f.M GWKTRJU8z2E6q<$UsfaGC+M5}!GAðMw$lS?mi#հ=sz!)UY3RI]El#;iy^] zSDe1Y`Ax*~3M/9QMP98u뼪I6*ؐzzRG52G5o&fw:|V,K,HKhhf{ꮐ?JH.>" U(\kk"֍ppi/vikiCм0y*},m~z*r Lܭi~3]]PR"J>y5*[SJ,E$A@lz?򄌌T7ufK]>AEOXga[JyX#uUa0x/JSnTCQ P4mD4f!+ø>oXdn);N"Chef9r7b>a[G7jyJ.x?Kt0CdJha]tWp-6_/bd+[%j3i9 ZR%Hd2藦{l)IӦ ?WӨDE ]}Iy| S4 ˅±ȨVN\ܳ eSmReυ)[#B :1rWZCZÛlTuWDzWܟ"{qe]@ 7(R=%5_P58Mu,'|u3x0u &:\Y/8l4R.Ȉ n?םYuKb