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 558' L  ConcurrentIMP:threads=2elapsed=22.731cpu=39.052gc=2.072factor=1.727zXZִF! ._]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GcVf̨k-^nZPQ36$BG:& cq9y̜|@!QGo>5?f;[ڋZM3c{s/c|lwJ6J=yX;E:ϗ|hN_UE*j dǮV5oi.r^> e/Eڍ0֓; \``S_֖5m!c]و⁍ C2M} ' ConcurrentIMP,P.Ops&4Tk n> ;Π'MK2-="'=o<-tpRRbh+SY166 XpZ&Ea\% A,>'}RTv+];! )p-\-Ym(IR5%A!nߙ3 {? uP?XsnY N[/W ί$H"5}4n>f. eTKgK^#]KEVcBMa:xaO{ g Ӻ1V~E0ʀ~;r`9S~aLU1wOޢkd7^2ڪ?2C| 6Et,e,G&p,!:~UJ]ŗXi%B׆M3u1£ֈ}@S]VԃvP#YM(XJf'eS ,ЉǴu K1'|Ns 7PU/ck 7RGB6xZ!jEEF P6 fvrWW%ߤय़tsgfeG7h1γH;|ZR F,^ky8l983$$to\PxKb~`O bk}aj?JJ'QjZ߇ϰGC2s/(g/|ͩ[X@y\dK8jǭKs > C߷QȆE|tvψ]8 65*LrԠH7I5ĒT7dDz?%#mYMu n$R^TXƢIDEJH9i>6Ϧ4$Yx1KR'olWs'X 5 'e~0pE;OfoTqr6oTo fCBiF 2iNtI/Qݑ 2Nhh}  .ضLъ!/3K "\A|.qJTO&`4uE}?餜s)xI#Z8QMW`?L^g kbVo"u:Ah<0?*PC'N->Z|DBkAv5":Bd#"LP$`J#>Zʌ͔s_BRj8GF=B༺N+ݵ婵I|dtz&/|]pYzVsK0mYR<*n8GBlY&X7S{{~*Aǝ9 я""5$J,`̞!mnƊ&\~)n]]"+>bsґK"=.fU+hD d-d1_nv4՞dDtj b6[ע+^>博4JT:Ob:*Oi|iUP#8eãxgua3:zo}ÃJT:J5+5 -)FvE6t6k: ͐gYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd40 feeb18f948f3a35b1dedc8a1dafaba10ffa81c7cd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9