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  3 Tt w/ FinFun:threads=2elapsed=5.953cpu=11.196gc=0.596factor=1.887zXZִF! #]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(p9QACK7>C1 3Muh9Ri 3X.iaO?RO6I@Pwni|wH;R]$q^&T0e2Bi&w`t Zb >4qo~yfɔv 68yeƢ$0eDs_o=xx"]F V$-T+: 7{7gYZ7zXZִF! ']ŗXi%6yN 6Xe*M;D.g,>`08skU mh xeVgeD RFOoaEO]>Mif^P"z+qg ȅCIC;1N #ƶW,ia7+] KTW4"4 sһ9[.d>(V%jv'SJk&q.cuw76-be`,/nX`/ JpZ%фDgxW2‚o^Ʃ]ZsEwM \P|Xġ.l|Lfz)$3(ɕ6l4z";UT A>W`mB{.P\+['3狫`Qa*9@r1b#5[I#0B`eyOn=M~!Y`({Y'5gg^O?~USZ^j},|g5F6ЈU߾,0>!G"cf@WyݓpIC-o4Օ{FyjӲj0&yز8lж HQ+{;)tbr?T3ճ$DufiIzBx,yǐ,ˋxyuLFQ+?L;y4Uƍ ; GM"ź]r5q&_4{!OgYZ4cee7a4a8ff3a6a412156b24cb39563781feeea5 76672d0ca038cc430cc1a943426e3cd5f6065cd2 8995575530ddeced2bac029c2e2b228ff0409b80 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24   FinFun