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 &/ TL SI SDS_Impossibility:threads=2elapsed=56.901cpu=79.824gc=2.308factor=1.407zXZִF! !]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,1-= R9#1.8Lrр 4dJfΏKNeۅJB,b'NnMg&p۫#P;MUn29+?CK̒1ɧXh [Ф}Tat}`}7dX4߽E /S8TD60g$#L \PeP{`$IgCkƇf;ANp@~PǶSqs c0!YgYZ7zXZִF!  _]ŗXi%x4_Zr2xkE1n;m)6 !v( pw FyS-?oa䗩m:?CՅ%D9ft&i84 cPo4yϟPCmd%OLK:J,f!nGu)W[νS~d@QzNx] s*,K?y07F-Tmչ8H?|ix?W!MXOMhWnfxNh.W 50C.kK/E<+nj ,5+Zg&+O5ے,xFVjZ8{oU_]u_7 -)?|f#Q]- !)뎂0E+ތ5O %%<[T@o9PkQޖcO?՟D/lWA&PSR!Y.VbfU仟ˡMWTe+V_d\M{w- dǨH` 832J\,u#=t?iGx3z,p#.so智@OE8quZ*u#Nuf7QI 9PW{gb2ml,h>$ Mzm;ict4st|Xܫ|:]zF2Zvak}~7D];}+)?ݖUj@ s+]N-AiL8/`YΙ;m$ 윋wH)6<DcRXu%]t|CoDAY/f :mK߀t0] ޴Q~eF=lngexMkW?K9OExo oRjES>;֋ \Af(cdKm7,^#hj4wk~DϮ]H/DO4@zA'xK?+oKSϵ˔1_1MbN$0>ExC4픳+yp+h4wER\<֥vś;_j Ks4v٦E!SKXi4\O $,uZ@܀mP9{!OJfCx+T+eu/LwyV^cpw]n{~ÔZmr$}ʳgYZ0e948a16b23c90c8091b5459cac6f6b4a988ceab 162a03f9ba77a8b985c0c58729bedfc2c7715939 33673101c5c4aadab9fb20f44ea09474df805e21 b4ad9a5d7e49db3dc82222e04a6462d5145d5afa735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 87d272d7a214823a6656954e4786f6c505a2d5a0 f8fc48259d3caaff1b24aac794aa005cbb2b7142 0d78648c1c8dbea74cd9934388cf7a73256a412c