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 , 4 %v_cVpyKѬ i;- T-č}ؚW!6*sG(YW}[NAv_Z! T+$@c;^sIFz6OtPDƹg6-8*˸'C(>qb\{TK1+IVo2)} R@˳T`1ky-5V"#  TLA[$osReY"y$~CǍ[Yߖl:nrji(=^F6+]1{_<+%L2r;>7$^ǒvheb.#mkzƠ4pwFKQšyb3Q{ ̺ dZ&Kإ1Y2Я1sk)'s kf^D?U@O{eӇdVpsTyb5##p;7 5\T0n>C4 v-AtI.CMvxoqA/Wh?zt(v}ÂO5@cNɟ?>ѕH4U͈ih1@e,aJBTr[iɔ u[SgdS Ǩ(ONrYhV CۥG`<8q38%l̝(v_A dDI^9C~!dRgl:pOdgޒBp=q=6\sS(m| ?ta;WHӃ(Uka2=yފ';|"H ݸY@t1v|h3`gqSZB%|FYi,O= bT+]Wݮ4yWbvw`szK] xJFLJp JSg<G tM:}oo%X(4v+ e0,Y k6iF:/cRmXn O yze6ĚbɊ4mA[z{-0#}SDT?#fmp{9bV&a9Ĩ%X^Iό.١'v݊TFi8MxXgɦ3\OeN`yx X0iq*2`Zrk ;VUb#(ۀhhc }{qR3Rrd$ѧ# 4adK7 i&9{aĤ;0 p/ ~oB_mv?vf+DtQdтy:x]$3FSL4R`#=jzu,ЕNpbsXa8s D@e׈y#6|I xHoY,ޕӿloKg+p]X֙ܪdȅCرJa֛ܸ7zWgW]h hF8^{ki"*g*s1hjQjlB VE؇ټ;p-f{(DU­ G|O3՟i Y4BA8SPɈ>.ۮ@Y) OqϏ=[g&}hGq 3m9 4krzgYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 2f7db77401291eccdc656ef2c1fec0f69869f556 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadadc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803