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 ZZ $ }/]UPF:threads=2elapsed=35.083cpu=67.628gc=2.732factor=1.937zXZִF! T ]ŗXf1-/6vR[y,o1=}8qՌ!bF)K*ȡ8DGa9O} k1Ew ԍdmLP{ rh-ڸ} P/=|oѴOz{ƦGsI=1"U'wA73 6ßV$ 8>B0qELtNM˽“@)QdAkT8hte8_%,s=ُ#%Yid<6tC?AO%sAޞDVSՒ!]IN|^w)W'NrThкZMRT"QRwt 1pO8^JJa#I9U13I:mvhU_CLY ĻYq z?eZzȪRqyO/$anH#ڿϯc!njX ;9OJ_Dw`V aoihpv31vts|)_^wbj] sv vPMޅY}4:*OyJC5{oܰqJٵ~0R̷(L`-;%+HUɨ-$iv 5,[= %a+~rӑuk!r;.EOK;j^ɖ%DLDK/ ^EJ9Xp{Q`<|B_*EF}EۚiFw TJY=%ݰJ[7¯H_Ɏ`C  UPF!WOzgH /- 1J{uf/9gYW觡.tmfǐRQxM@ncrVԡSܾZn]YJ.M==o܊r3nM$%Q]ói`WͦQ)<&\L_XQ/"Mgg4: }`J IƆ?A {)LoFw%q b<}Em]vTdRkfHߎ5oKX;a_mc q}@cw/Wo5GE?aX _\HKBcWs!6ԹIA Gp`PT|E!zV <8(5D="}`7sHc&='+~Ђ3L{fy(.چǕKAMCJU R7k}몿Z^T[ϲ"A3h p$ nPЭ8ec_0RIʃatGڏeQ@oVZ9RPq& XN\ddZ 09::XCN*O J\Uk`C8\x9Ex[Мd):.0{@NOw +9`>+Qgw~m F&޻j,Nk<|u'~3NB$?iBmV5S9hitZRmx;7q9\h1kEwm o\U$H߬k%{%Y܊@I1GEWSAb.Z{T{v KǸ#չT$Ԧ$ݽ:8upVX MdQai&X#`\ĴҸO}W KJO-Т!i ql`8ƙGݲ_&hhj!T~ZkBw(=ձgYZ7zXZִF! h~]ŗXi%K?Ks'E4 _NK~2L:R֡N!(ߵ 'l)#9#2%Ry&mcQAʅp^/!&Z,҅*OIZLӺ=/ͼ8VynL8)d5&~ v7lm3RP2aό*}բ+Y==5#Ro=q6pO #m+8V!"P7"<;wm;K4^bɋ70@cN݀؊\`ylیOF@Iiʾ@O(-n9m&5 ]_#%C>L Ip@\%KW4jI񻧽haYtt@}\K[Z;d>6P4%tR$ 햍wꦨnFC*4l 6Wˉc]I^@_w NQ\':lru%ш5"9xk(iPs":LvBxI0oM.7 Je,7$*.o1U-֔HΙ̪8SBRkWn]\AᯅluAR)@k%;7v*`kCk u* T"@Ht2iuq Ar=.f[X:Ch^҃ԋN΃Xs߯=u&v̀44!d>@XU1Ս؄Gsd0y;,VcU~bIZϪa5 -'$l2{8b.GsV|\slq&:@qׅ3n̔Kd`So|AwOJɑI qLtH`B9iEJQ|Q~ y=)Iݼ_nh qOWQ%c4UWB9Ï4Xd 5[@`+{gĿQqd*& '2*7]o\{MΗ|um%"zEr5+Yg1qΗW#B3/ n5>LBAN+b~^o\'n9CU0D;huxRz_S*w{qG+T>CiUqC!l2WN7B*s̖|\~9 UR[Rȓχb: v@طҤ!7^#|pW6UϡmcO}8ȸ#lƜ8rl\C0nXfcu98ΙFMHkC*u ?n#v߃^6ARK"GҀ9%=)?TJvSΧ)uo7(щ^^s867g܏Z\^Ӆ/B] Kx@,iDg& '؍]@>FHX<7fK܁kt)5H_JkhpAƸCSGS=8i ff\8[J%2Cte+X*^O2ܶu0|čNXF