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
f% L\ ]w]Sepref_Basic:threads=2elapsed=21.625cpu=41.260gc=2.172factor=1.917zXZ ִF ! &W ] ŗXf1-/6vR[O!vې& -wT]ï pܐ YW
mn~,GNC6 m]A EV3s6LG]6*t'_ΰXy5_8&E$OZ*)pY!aIA 9
k).FcF U` @Xs3%y_vbT-5D'1s q/ |,vF
y}W*<u8S>KЅ+P}}L)S3 .@} H
!ퟒ7A-c):=g\yf{4JgV %:
M<]''AO4y Gth9%\uhXKUsyfgXx 69C-|XWSSIיۺی =W:QFG,hyJ x~ދ^ Wi:M
5+v.ﴝMG%ڂ
\+W37岍F$]հ ǒ
odvM%r;d(r&gwU3[+p?Ke
'u7~{u~ $]Ύ&jg9 *'Y ^@ L xHg YZ7zXZ ִF ! H9] ŗXiɟi%3( d +%jh
-ĝF Ԋv-@VwMR#U ^U7x "_Tl
[6Y!^(-C*Ԇ#7%95}>)FTlu*ob2E`#=V')n0(Zֳftcy'o [T I'Mi:1fL rnC
φM?C N=}̍2Jy{Ի"֊|W=fw͍J$k}E6Jr@cH[+vxa+U*00ua~dqujXx_8V/ 9*c̓K} 7a~p?V9(
^ L9DtfUJR0Mg '3Dha W1f(⭕|\FVA X0 )`g YZ7zXZ ִF ! b] ŗXi%;
ujo\KP~Z)ǽGԚa z܁lL = <#B$ ? jyጋH;ȐA~T&EP_F/E ;/7!{Ȉ癎X+PТHc"2rZ=r #,IxkM2;J<ղ =)CΏ5}{u?
ݛx.J̳,4v(=x\
lc:3GMɯ]1PJ끮F_(
ò`ǘs
C &UFxW·`W(4g"0#+N;І!!64|J#vtg LHH(Sq.yOʂGFIX =!qPVaKʃB[AM=]!h2rLQ_
Ƿ2D- gT QuG'할evY82S@]vb
FL<6_@`\,:tˌ^_뱕pߎF:R -=~W&^wbSI4-7p9S;HP4M˶flԌUuRpQVd,Kr Dwg*i #͊V2B <1EOS9Ft_MUʴj9&p0&$lx(jNB˵@m]yy +>xB|C~l畈 yC0=cg㮾l@նή ][*)]yN mEғ~%ޛaj(Y[o0ڿ;潥Q8<7W+ls~~ y sm+{xs9}
2ŌwTڤvޣRƗyC=GRjFk%i
,;qqp WV[RFR@d52:g icbʣFM?S^J}m>ߑ_(}p. N
u(J8
˶'w.ɽ7^q$6b[>)rAK F6YkV.AJ?7ޠ R4;Z7VD
/ άo''= H[2oG{kST݈ؓB/BX\I[ in/t\ \TE_\}- Ә-S!St'\?f52b2Ud,7vd. ⎤0{{ճhLOMWWEt5 ~)dzpT 4a pB}