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 P' T4  Ribbon_Proofs:threads=2elapsed=16.071cpu=30.020gc=2.136factor=1.877zXZִF! L!]ŗXf1-/6vR[O?< nkh{B6 U43/眕9"nN/I%ER6ai_j/ 7꿽w-GÖBM$VpYՊ ksI.iw]b[ 53\@faYy+Cbp|6cDJE<تD^.._H'"8d1,WWq7$LC%"yjvJZiD+oaۑTCT|]վy8ںatrP`uxh9|媖R;%8Z,<Ѯ\ [JD[C~ڹrYg^+L`2e룗vi,ug`QۮK=cZ^"Ҋ$,Dt_킁SA"qJ$* woc22ˇE%ZtT%,haKAH9['6#ip Ѝ^ƿM*WsCfHǻ}Iwvq]wf6 bK]:(B0uzr$5Xv+o?Z d0Vԇ*~~i/ɸ̡PDrEiw܁O+zcz Өa?# x;Wb0To05To]dhɿBҠuϞ@PIRZz rPmW3 ds ^UO N&E֡)9IE#YnXweӞ^>-hk]SKѭ'`9jò 4p-ga2J!Ku9"6!@2$xA.ʡbXޔTenT ,ƷJsLhH&EU:K DzV#څN#`EjYe-@6 3E$?gYZ7zXZִF! RR]ŗXi%o9V=áO1^' m4HFuI\0 4'i%ъ J&lhۄ?4g#b^Iu|0)3QLJW vNXh"SrZ jeYq}0ƜCBSxSPYXL-4^7X'\孌%GL<7Tbj@^Wӝ6:ygI(AĘ<#8!-.3AJ`Gd;#YsW Qe*SE<3HerY mհ΄ $O 3LǗ|'m][Ne e5n26CMjE/z: _o_S7mpb; [ pDJ"EN4 ;y?+ G&1a&wb1\%rrߋc`Xs33T_hL ;??+j*Oxj؊j#j+s -gh}=5/Xd=b :c*6@t&<:J|t/J 4}>.?EUR:I4Qgp<ܰI<Qs fnkf{~վ:ϴ s)oU*+lUݑUi#TˍLշZzfY|q-Аhv 2N{Ϲ}#d2M RBz3B0j4*М0/f',]5Ύ3MsL`ךHo㙡Q13%rC)ZP1JEi4/Z4}#4 F$w*t\xACImwpSh)\`eKK&qL ӤhnxYgYZ1e3ba38bbe6e9633c82237dee457c82d07a0c335 2878be339df159b721e572d744f380ca4a1cfd7d 2e21dafb5efd63c2d3ec3fe26fc1e19cf547f60e 4ef05d6848f9f2c6370b545dd517fdcc09ba0d1b 50e733e7fab467df95b04548c4e2706403c4babe 7da39566f57d69be5537155922594e6955fb6777 a8bcac93bd9d5738ea1dc209af3f5370f4e56195 b0ba63647a071f94b45a11e9724e9c8f49321500 b7050ed146f8ae8507825860a6b53500992f67a7 beebb7f60ec6a9af24e3c8df0c2d02567052f78d e03a5d4ae35ff1388e56f7e2fc2f111895fd6ef3878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 61801de5e43545180136440fc3774bb7d9933b29