SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info g|dl ]/ HOL-Hoare:threads=2elapsed=22.634cpu=41.160gc=1.244factor=1.827zXZ ִF ! K] ŗXf1-qSqjq[N),:ʵ?j*50 8dw8r>р2? ~a=I8yJEGDzB1HhqPK%-ϽeVdH>pu}`7٬ ۦ2Fsk%s `DdU) g$7}pP"BR;&)[,;1,wF'$ވ C }[z圖{U#y²o}qMŘE٬Ċ*F!at3Hd?5jO,96Df[dYh6"?{Nrki9 |rN%FdstȾ'IEf{I7sQ``aB a?-RpK"+4n,)ZoH4q )"Zf w7 3͡tX YEPX VڢP[ȷL.I"5]!juKqJeXuR^e첎JQ̶1'# !6};jQ9᮹{ xÌItr89=NMbsox0a^m\#hPur{%f^=B '`2 . xWg YZ7zXZ ִF ! V)] ŗXiɟ1S:Jg~(dSH{O~;T15j̒a>ȕe|%k|AoY )o|e$_ڮh"ٷnRQMe=E0&ZNAVJ{#YSY7*5鱄nPMӕuMҌ=y9mXF8elۀYRcm+vRzB6 4/q9`bOf)u35Aj=4 k>
SZJ,0 fHLc " Mg YZ7zXZ ִF ! zq] ŗXi%;iD<.B1߭31듧R81cC}_+&;{n2'@kg囇[o&DA+v蝞+psɉCh^K$]gdcHS~S9
;tJGn_*3nqn(kG2_21*2J{I{`kfijJ&6XZ^߉8
(4AG 5V$xNEmS E*@Q6K&e7/7~Az,(Sn