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$ w Binomial-Heaps:threads=2elapsed=18.069cpu=33.528gc=2.800factor=1.867zXZ ) Binomial-HeapsF! t3c]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dpFyrm M8,҉`_L%!}:2&:r1*+LܐP3Zlh y*2@QIN6䝬hLvfܰW mӁAI4.'M86-mEeHh4g ͤ1h]{ʜicMr^m)E i…?$:/t`5w +E7H@ǼmɞrxznX825aN0RͮUyTo)zL#Y c)F<ʰG\5oIFPX,z7Aԗ)98EU0RVo9QF٬^9N~.jc Yg]F'tS\p1&Q8SAgy)ּ„iZ +DT yQTcP{ j7}_E XЪ\.e= gޅ`{8TmJ3ŒӅFS߆TߎZDuTQ*Z%fÀCM&̩4̪c+ R7YK`ſI$ؼ6Uj VN39`$#RL~,L#H&80欝˿(ܐ0S-ba˾U3b3¨~T>ibkC1 p4KP2$t.lIVbu*YpٌNf! WF\]k|lqE٫]EfJ Bm 찒y;Һ{^s:hʫo82! 9xpxLO?7GM7.C64y3[OT|J1xٟ兙zW]=[Bp8+2ĺ!Te[Yvq. ,B7Yލct$5%n]9oTIALC ۦ\YB W'0r.OpɊül}܋262 ҷ!,[.& .k-э+SigKŊGg/TQ Eu6Utx9,h7a 5Ѿ + +Ϟ9l+ꋙBiK?qK\ByЉKݹa kDUP}*'*~gGzsk&?=k aS"d{\qGFl~Cx3ޑza:AC?rhs8iA.&h&_枕 1oG~L2'UѨ索DL"U^%16(ڨt?/DULӷ.ѓXSH*j$̚s*ؿ$w6`_ C!O]Zk6!sjOq-Z`Mi-J^s +Z7-k)8Pȷ%p,C}A*He/:QLkgYZ7zXZִF! []ŗXi%B׆}}z'(-kuífu m`Q[?H7ŵLwkG>wQFTR(Wvs;߯;Ѵkoza0UrJ@zrO[|7wDZmz%Oj~Ķ}[sahan"2:BR̜͇ lHB~%|11_wWW תPE0cM"Ks0q"w#CJ Y/oW*9 4k㸛+2y!tѿLqq(@ӚJvko{70pzQ *v x]O-(hha8U#HҖY&$b~KbITD+I:lј11n+KY>,c*N9 W .)l:ZwtN^մV-S7KAh<+}%uH$\!i K3- rn ?edX(G6r'(jޙ}O?zR]2$&ӟ!vnt>N25.X,GûZҾ _ d,& pMP]@ʾOqC$_Rvؒj͗,/4]YB7Wlo:S]jflq{KF /"cW("k,uȞo|½WZ%]uqD˰Ge'W90Z(YUW8OlQOM,s̜j%|hQ%f`^ܷd2=c2  yW9\:vA&A h܃>+ܞ{˛~h `l7=p3 UYĠIӌ6bzQFT k32tg0!ş&I0OG 2,sƿ@BodT-HQ罖8 CZ9+I61ۖ.5$I qV-