SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
#LL s
Rewriting_Z:threads=2elapsed=25.471cpu=46.760gc=1.912factor=1.847zXZ ִF !
]] ŗXf1-/6vRZ\vW>_x͒f>,Z
s*xǐ'`bo-sf9 Р6`x܊S),VU4rb/下V|X>]eC᳅%lIٞCvb8PH|E]pCܯF*
*fAz-
̮fBTg#jqhԶd]B죶-6>i=fΪf̥hHR ~n)4NZ@fEG%vHeE藝`Cc'CI;K'XO̠8-q
hndK`ER^
6 s~_^@#w@D+MH5:す?Z)^9ZnEdtyatԛ_ՍW D(僯%19h?ͭ_:RĦ׃v
-;|iooߝQDbZ9 %O'jt7lK j
zk5.v&SJa/`T=ۀPǓ塅б.;!YdNI| rơq$]Y#=0>UՈHM̯,ك64ے,6a^3r)BSea^r;V;r{d rLz|зElnj /\M̤OqCtJ3Wff.>rdNZ&&7R.#&
"j_We2qx>|pѬ[@L
,}:]@A'S {Myv6MŃ*d#PD<Mh.MMm\ӞBpiA.a>%85Qs!Vw,0C?.㮽 |>AE嚖&L=$ZƓDŽ[i@:偟1W xlmr ƚ3q٘pN(XW:g]dYiIJ{08w_n|1L}V("p+x6.UسTzp8s\)hhD._>)k3\">n1H3w6;Tn9c#
R6
deiy2@`>l3ָ>
_8Bm4>e;.q́[
Q"
2l)N8[W,0Pa.[NZD{6U # $0bWE~+
Mrq!>W
# Rewriting_Z Q0~!lˡ/;i@yf5zalWE'ߒyxJDIL*{7jOpmF#sgd6[ziFo{9bN8yz|z@?Y/fd
7[=gՌ"O0)omDq/rO&Cݴ?JÚ-]I]TFx!!CFzh2(1MxU^Xsd
ULo tU }RKGb=6ɏcΚJRtD
m`q[/"٣+
~3%%Wo|IJJ)ڠ?a8m-rƌY!.2QkQEk:dz;ć9a;֕b:+8V#ZXy_kJի
cQ*B'R ϰuz7&|.[ܦYV([p!gתi>f.`1-E*bH GO4ﺮUŴ$
/Y~PQRmJ`f.f';4^џȾKn
`eQ]ʼnh:ip
diPZ%?x6h߷wB<ݏu,}
#*$F(_[+X>YlVԍ%_ij\*/Ht.(ޘJ*RP'sN/J=!SҝU vA>dGX&j