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 NT\ E/ Corec:threads=2elapsed=67.834cpu=105.824gc=6.692factor=1.567zXZִF! <]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^ ;AF Pzg1;MUύGrg 6>,[GTǢ4sk{:rlAg_cQҚV~wCMkGf;)dYF4nxL RJ9խ"K.^<蟙QOm Fγ:4qrr3 "iaQlL0 /-<%O5 ϲrDHu /# U]̽L"j\2Rj I8+kImKc蓝{$=**w~ånʡcQf!_ebj4ZaWނd7ę8#|'^$.v1u? r@ޏ䵤JwŸ쒴<Б<{?>HĩH `80*XmտC(Xyuྌ7iz2\(C  CorecGW5$(Tk=Wh>rqЈTl|Z!PEh411 >LQKFBixU,Ϟ5(f:[H--9LXS&ji>9l\p#}#m/"Ͻf<Se,🖛'j:gc=&.|1'*?xp 4船4tA"*¬Z̾5kta~h^l/@B 4Xg D1U+#L>56K~y!rʾN<0*uW\8"U5bցk ~ϛncjwnx0Y'9iƟC[r4J9Mws? |MeӠqmd h|x-,ƮaIzQ;2%4|7wz'z=OcO'DQMC"\@Y_&=z:%"ļA+xmjbꩻBB66r;M/\>rψmK7zPqs xYꠃ dk[ y gYZ7zXZִF! 1 ]ŗXi%B1jNɸxY~4n+GeDˁ ӄLTЁ`Z 4i{4;q^JS6E&bviZEP栒u:׍QjAQa}ނo2E,AH4}0pr'C4&RK5L\Z' 9j_-Yo :eGUͮuǮ)G[g֦:o ]6I *vAOіƐXo%u!kX?n5Jaz [CխDZa}13JV] xo,8lW۰ő_[<Κq@,@+%K1Npμ 71˚=Ԛ0=2qٽ=HOƷ_|Kq7mn]V.F6\TB_t矠 \d!%dDmq8*?17g+9u1$3+TQ o7FO`nʈCN$tU(ؽ)<^)٥c61X,%.PkRCb`Rey5'x.фOmH'FfxvvsF$/^zVOI՛/La*taO8溒2&FW1< r7:cz{D>цuqd<;t~A:״3 KPi@ 1ժNwx܀$>Y'NpK1H"8ua3x8Wxxa03˙ƿ}WG~-3)D5`sߊ+TA|`r~cC9-x2jI^`>>#K9^~U]ɲix(޹V"j~s@17D~WZ' lo=ݨ ?zX$\]Ԟ{MX<+>P[HS7umh jOos&&BnjFƫpnzWX4^)!rH ^wȺ{j!#e1618bs1lj=̖1^ rΦ,b4ӆ W{6#)|ˇxNRB }_1Y?fDx39s(|ƺ:5d"Hx,Zi͟ȇXڎKeK3 RRHG*iׇW~ 7&r>3bHC#C& ֑ v~Ib@v&AZmS]uz,AeA8:sǦ|\^~cK D%!)=jćj%#I)ĹEI?&yv #. j {SnOgYZ007664efb3738ca409342bcbf25b57d436593bcf 345733401f52a910d8dadb57e7e63432afb912ce 36545764fd444e531db13bf1c0f3ea261fccf9dc 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 513effd0b9a67d2a2e9ba2830d3ad6f26b4aeb81 5a8bf46f142fabbc62d8f177806670fdb6d4c2f2 8f194db846e67a7e87b25a27fa8ba1259c4af82d 978214ea1fa77924bb888509e270ac1cc77bd972 a438efea6288f9f4f15f7d643bb504a34d38c343 a634d2977750efd14daaf8018feb1fdee3310b68 b004bec88faa3c7d786fcf116279519116b87a63 b549213b2aef49e3da5304ab78395d90a826e17d cc208ed3a7c8d606faf4ae986d288f99b98dfcde cca035523dddb33f6c1096c40433b20f796d9748 d4a7c808b5209d986d7d6f6b5f43b3451099554d da1567c528c0591b76c11bbf612dc90f71ec564d e5665e756f50b5a5d1e5c4ad5fa3be76bf26c5d2 ee65f2c2037ab84b1219c11273d319f0dd809abc fc7344ff3b0e3dfee6086e358daf3f162204296e fd2b02dded527fdedfb330e24b0df02361aff2bb0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903