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 t9 |d ?/ Locally-Nameless-Sigma:threads=2elapsed=36.389cpu=71.652gc=3.052factor=1.977zXZִF! $]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зʂ\Cy8DrZx{VVE2Д*;oSٟ OGNWޒU7%6h*[H|O,v'NVt`haxA\GQI S4cpf@QhC=.cbIWϰF3i?jΫTpS^ˮ$$&trA) xX zUUi7,,4,~l0Gr6"y:nV_ֶo?:W!V귾t}4#k=%Z"Dʉcd:7VgȝCMΜ9b"ؼDVAjU[>χ^fsϣQZ0_sڌu\K(K&תfͼk- \ l<;[f\?3(X/uq.|9g:]ۏg|&Q04= WD;4 Nz[E7J[Qǝ/JG;[-t3:c:) -Y$&fnS*6 [ %%:=PƍvɹlHp.͟qÌqы{݇e" `돽gbNxo-nm2jwx0e7^һϊFeyΛ0zE \آI{kgzIܺ6oML5!eBa߁(d^/QOdm&(UHm/#b'D *˿㩿S< ?_-gC8[}aj ;׎; 7C yr㟚.JkNzMx}dudKiDGHondܛdSlwC1u]шl. pה͢G\XpcKkUeLWs!q֘ԭXDf~`34XL N^XXD}+~2)~0zo%E6uH d-WS(^OVJZzd(lҦtdס]s=VMRxx3cYg .i ϊ(H5|K,KDhb>3Zj-,>YD< @JG"#O|.eaPX#h0Y񘖧_Ӕ}Hzk5 ľ{3\/j1iӤƧڢow 5**E'Erwu]Z $,l%~y\!2R@dٵ kv 3tlm7QQf(TٙOH?v]Gi'j{v/A84G+2fI j|`._D=|Y$&0419upwO/gH ސ`FVa衮Q3{iG1mNcmLrAZz6\Q~;!A=)vdB֓=# 粞s6.K*[ev 6jb2mQoK͒n#U&$uRۦQW )/Mu4&0ZR1)B UlX^鹞vWH0x^7 6A.%h(;5zv2Հ1JfaW^z-I Z\RK2:e#FS@W/0jTe-VVUw+_&Gh$ Mhx9Zhi][Q -UJ[X5T'ٵX%ez'eDo"1L]a kL&C5"^fTdT5}‰/Cǵ)@lr4'&UmۡI~Tnm%}(9zVDH7|Jl,Sw{z&NK&ܰr t?=q_d٭uqOn%@D`5qrFa{u$yR)!i?nY˫$`ݝsj†"gYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 c1648e0349ffec6d2726d4cf1c4b41ce6ad77c4a d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f145728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de