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 VV1 ,| ?/ HereditarilyFinite:threads=2elapsed=15.507cpu=27.316gc=0.764factor=1.767zXZִF! rc]ŗXf1-q恈͐7ӺV w 1 HereditarilyFinite;GOy:Cir8% NVhE|wK]az"k ̀ͻb.VYx:uUC)#EYOcybt8tz2< 8B( ehz]$4~ܼC+1E '8P6+qt8FsȨ(VSBBQ@}&"FNB;"*U2}\hD,!e0pSS)%ţ GKo[ռ'#Q^pGϨ&U:!K٭b_25.>[+珉$?ndBfZ7ZF2F; AQzз'6~PB"'ohsBFA;'ɇ76$%%BΈSevՊFzV)(w6Z$&õ@Mq7?Qm7xۘ%ͩ+*uj DD˿4kTpωgDgW0qL44¥ik<}Ȕ‚kqH`Ԙs CJIӥQ|'IxR%6-A,i7۞m>-2S`ms:㥃WAf᜔hʹcE2qTH@2dDSWzVq®ҹO0'R²4#5i;lюaSxbf(rr5zlxۇ*1&R:n 6'#>=4zg,ztaS=Jމ@ ?;T0pC B@DqWϐuTKotY:S69–f*!1$AAKiXJPь19ZYzBۆɡ"HS "{}rs  -ݚV/ʛ yG'}bȀJI _8&+# !z@ B:7n;k#Yu`bjX{fv7995:qqA$ٔ]}-1ʘEs@PdjkV$N5/ l!@ZU\t Q46k5?LeliTI.*5 0WN(JǂJVnek6fQ%-̿@N97 *qJH%@/E#x0Ad ;vי Օr$ SL#OJ=/ ]h:BbfZ̟6X\wi0N,DZVEG\D.<)0^Nr2͞#uB?]A!!q(>0-h7Z* IMenUr ]̱aJ=WQ3"a z.f]JȀ#e)uF4q߸ƣf8&?mꞟw\2=[ĀecUɅr{rArS1ZWq^8#'08X*T~.Ԉ/f/V r;5ǿȱgYZ7zXZִF! V8]ŗXi%B׆7(J?kxY%AkV9'Ihƙ+ΈP]Frl8;/@95=οqANċχ>,qԯ8 ńz3zm(v1:$Xt-2cp]j8`O|f'3rzVI~o^ZצISY¨\lgƹ0+"'* $m46iV#jN̈́C =$(Ծj͢#c,<]tr()@=!xhfYi{2vqLV{1@Z汈$T,%de8RA]ȶR1Ff.`d;\@-t&!F{JhPt+b(N>7Un<ݷU+/`&$y"GkE'o|^b頻T4T-e4ly4AǺFB;J-pv٤R6L $rNPx&]s(4>aQ 9J/${@C KS iI~G1֙9'Y814ƶe$X LVd9k>P CzQKYaHGzl`*͙>'w&%܃Gi~r?T2P+Ak}k󸓟W+x"잆"qjL>Oz0ۉCLPawTuO#(v*'(K8fCЂ-5@Bз28ķmzKE ~Q!Az0g@sZZ$75ϝ )Oe{ޚlbya ̩ ,T1PTy)ރ^zD%q}l`S+s pP˄WV, %**- `s/lB 6PvqO]VԱ eՂpx P߳p@әwx=ԼmQI^?B]AYBd4({HPW ʻs(^x q"y9 _ !sD4:kBfoG 3@"p5 /{oqVr{}<CuŤ2MJ Atl`(#iOyG/Ql7a֎s(\?BR UrBE2J9{A?aQZ!{9( gYZ12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 45f7fff17fbdbc853dc5f25944b0992e0363c5bc 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a0d7a666e1ef01cff26fe69e59978baa40c126ac ab06ca086aee730a79dddc1d42c28d5bd6136449 dd28a61d00b9bd41347f9600df74a201b331a791 df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce8059 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295