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 + | S/ Verified-Prover:threads=2elapsed=8.682cpu=12.764gc=0.376factor=1.477zXZִF! I]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗyյui+x\)d7C dHn-hи#o:MK+fBza&6@{أ C 8s#ùF"k4%l*ͷ7Mqb)㡎=cY!AvBrb8 لQt 5Gdp7ruo9lrйD4+@_H5h{Xt@\P}xH1Vق{Mׄ'Lbv-nMg訣(1 &+x+teez:%廐2i=:U\u6ƇYIg +4RÊ92]aumANK4=A}]\Ԓ4߫h1{"CVyQ4./$$7TYJLWf%=qֻ*G^woM3ொ;LQxG_}gx!|W*y1"<撚J0 86"1.<7\ĴO=5QB:mH%%E=ӏ vB65abJSS@esۯLNrfQJNJHFDM,H9ޱ&E; GS("qOD(|m&T]*ׁz N.<r6&q&bopV *$'I63 |Hci\|mw828Vt7ꌔe'$c;"[{a̍'{~E Н́>, Ϧ%HnnBSk\cm܊'Υ~%B2vf 4Cj+I[?^} FP~ ˶.VV]4Gg ۓHTgYZ7zXZִF! 3~w]ŗXi%DQtaLY{3 9H']>`X':`+yyATPaS݄ii'rkHeGS$}&\~[s4(; D c 氿xɌEڦAOR0vp[ L4& /z33IL-/G4z4g=M録GS)CԜlF]|<)C+c \LۃTkWnCIVexHSw,g]:뛞ӑɖVQ7N_ 5"+ȵf=wtJn | ~-j+x9 ΟG𶔝Jѵ'LO%_Cd&`}\L[ɣ51!zK? ]#H0XM ipS%0ъiAYJ˜.D\0OTq1"ypu۬~ڇϨ-윹C4 v'b}Pd3#7" ST"_OW3Udq.{HLtrm ї(A@X @ƷhѻԤsH|bNdg `2)P7M-ʲ" R&A| + =y_@m& .qq|w 'E S`] 62!tTt,TŀP:@!4u6#WcffR3K.1T8hNg_ًVŻKu+͵f{tG~0ƵY\S3mP~&=K֭oj 9l OĜy^pukI4 fCxgYZ3e502dae8165fe3b7725713f0f4a35c31a9a4cd6 892bbe0189a23a2e6fd96fbc3ed4a7929b9205fb cfb4fd7da59a6788f5773633c4ad67b7c70e5d57 dbb51d4c6470972f27a73e1864c54a1b39ba98a07df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56