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 Y% 4 I/ TortoiseHare:threads=2elapsed=7.728cpu=12.832gc=0.216factor=1.667zXZִF! /8<]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'="×]%%OsZZG&Ie jSb\¼bG(7VT,Eo!k+w[~{Oyg/yk(!a ;Mku2((2o/9G־79&a~(x]_|rtM!>精sM'݅%uӇu-wE4vzHfmƅ١ 7m8@'6{B % TortoiseHare鎅Vl63?Ir7ƗǺ WRW:s0(VJ7>(ZPk^ Ơ,(߳!MaE%9l%gxu* 7kDH#8-p<=ȿ$"Ss▵C\M݈`1?͎[g&3H;pӌ4KOf}p:I T4;):h@w\vC" Dg<,PDki‘KG7KD`Y5Z)L:4~Os(M9 ~$o*5n|05!YeCT[L45E -d8H==Y pg "t}#83;I91 |"= "jWPZpV]@H-'*h/]"YpǸEH契mRUTޣR6háx"2Gmsq G\۬X7%4Uye[avȶ3SVH XpdbGXآ].)u4Zs(&mGg3/:PQԭtmU$[oؠ;qcLapoF52հ>DDžC!Xل*c:{*/[mdn^lm?[JҴx/K{OCpy9Gi'([ Hj:( 0a^ S7#w<vٙ{Ȅb7yfAĒG]HdrL琕&_.'21<|%ȡ~?m*>&T y;;Gs zQhtDcϡ][-gYZ059b39b3c71e408ea02474875982517bfad13772 19e2cf0910b7071efb7af8472164cf296f5e5ce5 3685fc51f7bca5790fab21bd3e79d43dee881507 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb0087df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56