SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 cc ,l ]]IOA:threads=2elapsed=18.467cpu=34.284gc=1.492factor=1.867zXZִF! ;O]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K,X<.vό@Y|:@, F)J zc3xllOPlo hо-`hl@E/Y?LSoU^PfxO$B˙ί\u\c1.T< QCOGr8 qlr,#HHN1+i^VLEy 7֙1ckLZPcWzLg>Hri))s^gD|׷$ellmƥxc>ΗR2hDdl_+I.+^0w' MwUjK t&@pc=Nr+8>pXX&v [7KX8-)Gi-Xa ЈҺ >@F˽d<`{PsHߑpFl l|OlHUi‡/n ^:Wv&r&X*ތ<ů";&gYZ7zXZִF! `o]ŗXiɟdN? a:rXiLLCp]O͡"%#21jB4HerS'2A8L(&!WXr2,P0H^0VuӪ.*wF!m>e@!)UeT4 xlF5Q  Ffa8W8wP =cJ_Rm>neO"71+X͹ǗbPE.zf"=3.3 ֓gYZ7zXZִF! W]ŗXi%9(R 8(x5c|{eB cVkzҨohZu]ZmLYND5-1 .4"HidSRS[,oaTn]9& dbWl6A v!"7?W=62zahc)r J^B&r2ϓ*s1@w1_#]C$ }#4S_$RE1kIQ Jn|{4u#:YMdjǑ{50+yc:SK2]) 3|]3; 8~׏{:TPk(7&O.# (3 ywzwm,g~Q*AU^jA{'tLnKp9ӏPOЯ, Oi Qe;\ˬi>:ܾD34E#^F]6l.Ȧ^,}R`4j8\FF C!%EE*o=)j"8y\7/u"@ۇJuJ{9!(KO?#X}=lل } YsCXPEvbXA揁l&_t:eǫ`]EܽHW%@h#[#ѧ#:wFhgCWjr.ְaIm:t.mRsD,r}udD]~!h6& [?jy@]SIUAg` =?YoG=Ɯ=m~rT,GeJk[lĝi. Gc9&Lզ<F/S8 |/V:==&3FkI=B.Rǭ~T|=xt5ii41_/A, xUk~?C>3{GM|fHS(ÊR^@޲j@U&&.ex^! @^ BPIR-{{"G<Knd(%t2Ȕ4jʜGYCj>>Len):Y m$a(]g0g D>: 8бgYZ74695b768c50b6d2b1e06327c9073335ce61e6a6f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 2529148cb00af14d06702c18665dd405f71110ec2067e3df3d7a8317109713aa8aa1db7164419d95  IOA