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   t1 LL m]HereditarilyFinite:threads=2elapsed=16.686cpu=25.736gc=0.696factor=1.547zXZִF! ]ŗXf1-/6vRZ)/V~l_vdᷟGK?尺 [-=CU;"n*?IϣA^*Gxk@gq Y.J {Ry|6l+nKAf|ۯ""euc"CQbs):lȤ~fl&>\i?d_D +OpM*PC@-iR)9:I5`$F3H {anAu.IsRx.+(-6Ff-ΪP9#mFAG{mtlOjl)ų?B4a*Sy5V񠵆"j[#QT4ț$i[;!fү PDE7Xqo.zQ2G >Xx{mդMȋ&ׇp)tT,=EqP+G^u) 0yN*gYZ7zXZִF! [ ]ŗXi%7 :4VьĆ>.\3piəWWӟ3o1';xS/JT^u!+~1v`onp7>&Z J-@(9ÉB}J@zhN񃲍p8$,fX}D)0R8n(Ǫ_WxXd!L S(L42]Xf:1_3h ? *2Էmxa8%9[?l)ZVNVH ϑ%ʸƈ>CM%8 e_b-H]L!q%n\Z1(P&ÐwA&1gYB˸,["djOC|A=h“p -e$7}Rh}tZ-,K"؃?Rx)*sB~={3>eO% )d.eu݁|W|.>b̩Fbop #|ݭBt!^Bq~4L7  5e՝8|D E>yF$a@T{ݔeAL1D9]O|vP>=Ǧ9I&ꚭLd!+\bVʐp(<5sD D鵧@Q. i}+y,PHNYdrPCDhфwԉũsl'eCza|4ejjL2\VaȹőE t&O&>b#_C u8t: VvBqʻƦ9`Pʰ{[e`C<6&XNӧqJJ @hNDgj^y1D_AEDA>Wky:^-'{ˤM(ryf'p@klxU 3P}~fk]ķt>(UsP%6?S@pI%~Kxoo[aFوו ޭoͨ؍ɕD`/.m Ƿ}ֱgYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a0d7a666e1ef01cff26fe69e59978baa40c126ac ab06ca086aee730a79dddc1d42c28d5bd6136449 c23aabb00636d95c777ddd7eb7518b377c4c9fcf df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce805903f2cc36b4a4f77618b1b338c8aa62714b840e80 cc27eb456075510284f02feef1118c21e49edbad 3548de0143411ed5dfd3be9ae84237144e952998d8e4a79ed040e87b9f05354e7b162dad92294fde 1 HereditarilyFinite