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 1 t ] HOL-Imperative_HOL:threads=2elapsed=90.536cpu=74.996gc=2.320factor=0.837zXZִF! 1]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑviLe 30eZ Yshb鞛=pp?譇6"Ic%e@5^#mB yɼ]*uT@&cHY>w Wo] q[NR0vQS_:|rM$0k/)8|~wHqIyc]rJBQ'z+uuZS1]R\X[wIJ)g>Yd D-^g곲{PH r,Oww ,V^JNG(JU91{)\+?a?O oXyc8{LrgPbFKW37Uur0)OrvzsA{R-hNX5^Zn{-.}1[!fXŵϾ3}L y=^}[q+ð‡Ohj ]Yz>V#eaAaUYX 1\oڼ@-2yB'HA2:;ay|AGAɚ-5 m-JD2mĿ@/xȿ^0/<Ɠ>$ P΅)<}[@ ٫zz"E fM*Q%BOs=,d}g'݉rMYKf gϝ6U5A@ҵGqZloX˚!͆#Bs(` "%f3e 9UYŞYZt b"gYZ7zXZִF! B]ŗXiɟ1nhЦx"n_8N]( eOtd?F5d3L3t`JBf5a~n w SP0@_awɡ;'vZWQт`]HZ ot:SosK@ȆLE="Oϭ!6!,&[g7c߱ΕJgH޸~]fN2E}#7j'*i>˽#:ʞnº(h*, 5mRd1RS\0>9Ԑn4<$.A(;ЬyĪH8? 0#gYZ7zXZִF! F]ŗXi%9 1 HOL-Imperative_HOL+y-D . (q\.@mr_iEr , fk.uݺ\I;եz3QȒX04x>JnD ӻF 7_F*ΒF0Fu*F&:ZsL23zWqRۓkxsǜ'x^ZfeoޱC"qV> ;D:,k56?g<`S m(pH$Db]ןەR+t0,Cj7l/JJ+xR5;Ep\[ͪT資Ca*5Jոv(:!P7%>\S7Gd͑؅^C5V,X 7DAniyYd⑈;ˈ(lcjrPD2tܴaFB< ~"%TCv#V/^WvPϞG,O~'C{MlD뤉. }#Pwv|ۙ)s*~@"Um0IRG&̐)Xߙ/l?pV,ܞ ߓ~`@#ɒ۷FJO'g(BY1`.71s `e9*ڻ)lкvr]3l/_1w՚>ꪝW$TƳ5 |lt  6-Y:8)DpAzqնym7Vl6p 6 Tq$L bueS-i\/&݊-2(Z? d]5|2'ǯТRix}^fǘ8h8v8P#A(hz1i-jX8'pPŗ3V#`*{.s% 5ܶ)=ʼnZl=O1u'󴿍jȯ/3pkThbXyûB{v`xKW%ϢhbNv)ppzۖRHC°GM ]qV~(}_Te[X(iӝ*_x1'"Q_.hz|*`/a?'x+KtQ{>BbnꮛQAN\-;vVFϫ0L@2P(/cm7nPםB}?vᛎz_z` | R "lFD:)a^ypޭn ΢ƻ6himf/yS_1{$86 bY$hYd[|(Fnw{K&$PS!ΧbH7OtJ-^j]ŢdhӼlh<}u7!t`ԃKYi*EWPcƩVF@p& Pjm6p)-*Pn`lxaHU@ܺ Siw2S5 /LU{n֜2LTgaaKgsF+[5bTkV_q+S=,[yp3Wk~D^3:i(P)zlPu97Oj`׈@qu ~t- D=cRpʈ.ghlAF+Hcǿ}d'x{̵~&a4fB隱NFWF܊>s\W@Eh }#=i:2yx1 0!=zTs|Pp>D䙔g͚q[9S &`9{qpT:FrFr-ȊDNS=5gPk ;KLN2fY$uI(ܐYIO^ Pn=d/k!o[҅X4&f/ߥhZ3S |YDX ),\ܡ8hj~'PIhU[=NPT9Y2%jOA᠚8'UJ-Ps-ZwGkO4%hYϖ>#4}TvgwUE?~s;6 hX?uDrS;P@T孱]Kshvn @aP=`&xFlnڲȿA,@-acv7T7YjXjFѲIX\ɹGF]̹D7ᣬYɥ6WC}fS#Z8n0u8qx -H ;:A cK4ÌcSdG!)elVyy,@>M җ\M џbVe6g^WZKKM:ɏnfD+`:=if! T.)]n9fBqQwUXSGz8d"щYJqq6$Ah{;lD!y.x6zqv/}Ae× :zʗd5^-O!9!<_v_\?[+QTd쵒Y0BHEed;HKFg7!Bf ¢nUF؍+U%A2^SG(kmMLJCyȄe-v _Q*#EB;N ҹ ^Z[5*'Rh9eIz6>`N673h唣Fw"&~igNNw7V1,<%/e