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 <<)- 4$ m HOL-SET_Protocol:threads=2elapsed=47.225cpu=88.560gc=2.160factor=1.887zXZִF! i']ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{YzMBĥ] MjK!{ R%b8LwrO Is}ԐZ' 횇7)$*F$]=-?Ƙ螟; iLK;}v[qbJ־Ж?.)uz/%ݒ%!A,.(< i-<wՁ{ֵ?h+Ҵb.3y)i@:w9<#Xɴ4Ah hT0DD_?*[uG lhy/WzJ7uvE:lvpIB|̠% C:'=%f{K:HBI4Ms۹0pQ84t< ~@0]y{܋檯TT:h 7x?3i[>Lu7j}0 w4|:|ܟ& E±205cJ( eFlgeVq(oxd-m@ pV3j`߱ ~t˥ضq^ʭ ?>TtE0y z%F"~a#Fw1^')G@gsjBiW|=P'ض JNNX /?^N.hͦ}.)bP@H fWY+QmhT) r@[%nʍsǶ'f?&?quaL %t*.paOmʱYFD)-p#P`. vp5cǯ]^  x 9f1ElgBkԜY z\#FqQV:F!I9{Og&}@C=[W-,*abӧs_lv[ D4Z49Xj7 5b6&fJc[Ě)DK ҆`F$ͯ*# G\/zlB)aP.Bo8o>A9Lp[{tjƍv&>ECc]`AGց|6tc8< K7F+5v"9Sf@}}$Y2;Tχ $R s`SuWdƮdmk0̏vLE |!i]P*BΨʣ+8\cm?cR&sa1<!sԥC ka[{ #n]ns"ӁYԺgq&XV &sQbe>έ}Up8?'{1p[[ ^$=3h$59q~6]֐yv`[J {j|^&;ô1J߀kxM,lFC5JDZ0p"sȴ ] mPPM>>1">K Yz,QII_q.!T7RoJƤKb$@?OW4ݹJjp{b$x-Fd#ӟ8mA"t \l^s@8oyd+Gp6uv!ԿO:X!,jOq2%!z(pmvPNZ:.mŽzwFdK-7#񞿛_kqnO=~&fA_WFp4-gYZ7zXZִF! s ]ŗXi%JuJBf 9Gr;ľw'jvZ ClII!T;:ֿC`-Ptc )ڇ3YNMZdsf|$x٫٭_))JTӣ3H;^ǘ:jV΋J34/v]?8jRpK*\j/ֺ}恓 'fA7ʾKZF%lљrW 婥I_P$4-!U͚0x6l2]/| cLttq‹ꪱGTYwɍ!'.cC]$b{xR a >YB+&ϊb.K,}cT=qNՠsX1tX!e@8=Ӂ)˄@bsF8UcoJ{`Ay;2mkS8)Қ- ssbMT_CKJam:4}np^ԭ?`jh"sO(?tbU 8q*I bШu[؊ȆIay/0-@LL͒z3u_׏I?H@ߦ!׵4Wf ^~&oOU4Hug!=7{*IT%Ne+lRiި!;|'=ʵ.Auvd 'VӮj W[L1Z . EqTf>X4/qXN]RNG9S]~Y:cՎǘaC61f:5}vߩ6r?&B z!;a YrySzvkJH\YD<-W`4%$2{N1n'[*ZЪx17UmSǽ[TA:{[<{q=t5/a;hcfB ,@(Dy:8A ɻMlo婲o ͘oE4=]ksR>v es5 Tȷ+w[bEsx9o~ehj'>u! 5ַDv0̈́ IEE`4dӯcq"z5W?YgG V:p\02S==};/.ǗlW/^ ~^[Zdn4n?ƻ]VUR%񬔮rmR^4aWGɣR&-Q8 KmFfVH{zfzWхַdQ66n!ɏT/hTQQS,:V``Fƚ-x<֐06QNw̻$7|S,"\y/ ԧ̗}X6&b n؞vZYYJۄ8 ;Y+H ^ɝZ.޹d Jk"HMJ'FUOGV-wooxEnV3Y/~%oM~F_xy-)f,1*BܘXs( uoP'l;6 ei3b+Jf`;DXƔ׭?\k!xX:& $%ۀ<0(4"X24CrT{Y8 BIE>hE7GSPF-buE?(؊h+(0ؗCv]Q;1"Y)6.0?cOn/ 9.QHk "VQLP(K!4j `@&zt|D/$>jlBUEpA5~ia-:3rPfrxթa 0%WI LDbk2nicBL .U >5v唆2=_Ȣ˹[\D2+`~7bv>Ɛa@HپJcQ١z~/ QaTDH{Ĉ4yG7)xCǓzIRtl~$>[x ,gPN(Q0dH6'xc w4&L"aHc8li8I8SW EHkJE6^b5lJ>dһ,SS mk} k  h"6+M)SG9bliNU۔stӧD>[1Uz=#*TF AR8й;mFfJǓ &{=ˬ61sWA:oP}2*"s}> `(( ns1ro_GBc'>TjNDu׫ARƈw58}N6쟗i8k[ydr@~z־iԺ[KS$?DؔZAȨ(jQk1=4 ^{vW`,8f0G-3μ)Hc $D_WYpiUzb4zOJ0.)P]8!-hhj