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 ) D44 ] HOL-TLA-Memory:threads=2elapsed=15.150cpu=26.052gc=0.828factor=1.727zXZִF! ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE>xd#AK:W'gFwb!p?'p37*\&Sq r5K%0#K,!r,FntY-!jܔN9\{*(/RcMrW\J+lzQ+qRp0w &J5<.ޕ=GiSYbb%WO$}%̪ t FE_@op\PwŬ`v*E$Q2T-\WEˆm0 =8C"G^TpK}V=[31`hyݔޙUyBfJ)޳N9iőpZZFpX0;}B*}kf~툋ʾ^?KH+B"+u2>v\t-~RϜ.Ł )PgYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKW9# ` PL"iOHrVNb0( ]:pNQ.~2DZQbp0|ŵ9Y1eR>z.iP@Zz{u]lDx(o.)%rlV`mˏ[s4$Cx gYZ7zXZִF! FuS]ŗXi%;wu^<s"zH2Ҹ&(}0,g?}醗AO,D6$21[` [2szٴmej)Oa e v_IF \A[ʷ?G|%Կ!ڹm0GC\\96;v śxEB^톲x5X`biAhS\Ι?R3X.Om5U<4[|]vn \JQV]UI:կ\lnh#2/ 1KI,a]#}@.U(%=+貶!Zym+e3~qjPvo.؆WF$ei@]R}Ra-f̷Ff ޟ]Le# [l8sUIhJ1 Edˮd.3v}95*ɽ$kGT>;iH>[ m.h -;#s /ښrKFL5QnrM)(F7.ެpaeoZ lS 4OH,bfcL,wwi%L!PBZSEue}x.8X ]Y2|c]m٧u4oA<@ ą_Ϻgfa$TVc^ p C b]W o?_䃦x攱P[ZH^@heZ/@`LHm+0swJU8.AɎ!i9*:,H2lLܮ2=)l͹ 'yAB3I'^@{ * 0^(sm x`Ht)fk9`gO"e