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 &' <\ ]]List-Infinite:threads=2elapsed=26.288cpu=45.888gc=2.096factor=1.757zXZִF! <V]ŗXf1-/6vRZڕ`0 lO"Eut30\&k幦j;B. aؽӐcxݮMr #ɩ?V᮴bfSǮu'eF M#UQ9*,57Y#$EkقWP`=}G Yan1tlڝ6qykV},#qIJ")qmI"@MhXHJ BK^ݹ2}\ Kes1%[} jW 6 \dZ seoU|1LU%] 0̅fzs\+F+&UBnYHpA;ctj}f_٣a I7T !E- y|Q: z1DM_< HY={-9 /Uj͗X[z9e q 7?La$xdLCyu/@.|49tO2. Gl(KɷgYZ7zXZִF! &]ŗXi%6qa6yyƣ$A cO=s;AtHxh/8~R׆w/E(nzn5c: @4+2k>u4@~:gc坑+B ؋*OE,餚{)Rm05(4LÆi񠪉g^Θ'4;6DȒ#i6?0`,8C)'Wi<;q8RL1 :g@UgP_u~wz z oٚibԈh6iL&} ubc{{GFw4f\lh- 's}9{:؝oJ H!R|)5s4/A;6+A|wO}/'DFA1Ak*99$(Q.>tdp׈,j lܟQ,mMCq߿TiH w ߚx NϸEx.y[Y%jmf+!j_ܚ+9 BH؊tL+HޓLFh `J,: PVC)ݐVLF,/<%g<(fP{^&3+h#)#)oMdQwCwNIwP:G]xsTO1hpH'zNmhd:N#L~8'|2.{4uܜBi:DJp}NU)U_ 0a,|" %S}ߦiuUhmȊ (+d9 Z$KDo|i&d4uB, h7#Ւ% Qu(LuDGSՆngK kB+6X9-HmЕN^BC*vNS&# .wU|9 "I" 6)5d*^0Ef\T ]Z& #z Ӱ8B Mw"t[VLhX _)+yz䂁z_M;'9;^fW䖓 9n'W4sEQwUs׭w.;MK@j: +H*K]sFc"+޽LuIPRb"ۑL>e̪}q6vϢ6 ֿ}2a" %\_;ؤ%鬥 ESڋc@XRģ*띣 q+- ,pP)y1Pr ߭U腞ͽ9Ƣm4k?Ū;뤼MG"8NA G`=A*^V1IRk%۟os$?%;sJ܊^0Yf}