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  b' Ll< ]%]CakeML_Prelim:threads=2elapsed=50.691cpu=92.832gc=7.232factor=1.837zXZִF! 3]ŗXf1-q恈͐7ӺV -FD Kv3۴LoAiu)AL%|ܻx8yS_(-g"~Ch3\`j\KـgfLLC% c'#C`M]pk!##'c2ͷX[w ;Jiܼ}0Y71yWR*t!C)$B.~=Kn+_f'τ'3{oX%7s'IZ;=,&⃾) =Rk3 Vг,2UnM^[?mڜ2RVr)uZ,.XI 7es WK?@JhGإ&USqa]2F ֦r_ś]ʯ% ICX:dd<|> sK4zpk^1Rxjt%jzwHN*&,&Bxxz%;[*hpy[/D3ɶaN\"Fdo8_#dȠoOGMH; a A7w ^jhg3l/n tФ,LB@*%Z;جPy xzN|>K yܬa)s F:7[jV&N?  jE(Cor+J'ɳb"1c 3v!vi9]t NSReHQpM ' CakeML_Prelimvn M.pi|jV$l UO- ǀb^/{DiJ- 1G0[c#_ nzLfӮonSCWz{҅&"dݏgї{=^M]|O,6j_0]Ij: :h<|!kWXVι+3h ggYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu bJd?@m CI#T== ^|Α'H> ZAtj$} =gZlߌwOԅ#T́nSD/?[ELURD,pG ћ05 S75˧d[=d@u4Dh~9Akfbq |ÿ'}qHE@v=9CqEkGQh u\gYZ7zXZִF! : ]ŗXi%; ߐE(;^*[MNtuCճEc&\JL|l: ex5^՟<,è:#1JIժ8' t"d=>DqsC z +te'  `3$}풜6kstA՞us]!'Ji ;eKhCz#z^o^E=a{Mb#ts.v]yS#TdKk[uGƹ79-nqYM\) vPE5cUkFb,뾲E8Uz?7ޙւ1@!Da mj0Y8Jaϊ:R?ȹ*Lfhq(Vs1D[LOcNk.@QD;5װKKOl+S>*3X2~m9{ip3_ .P|`FAnR<=idW#Y2~dݐ֩@+,]Vy o7c';U+`xf Uh~ 10<XJ̡n]ܫLSGݜ!!&1UeZ[Nj_ۨ3hVHqc-1PwwW"ٛ<3h y@6c>':F¯@Yq DŽ$;IׅXĹ8S{vtĨծX޼hE*M!;oA{9'M%Wؓ_`T?ܯگ!Y,ˬvx c^cM{traeʸ/bQT+[?踲}vV&{%^ 9cf{Obdԣ9aFՉHҀzX*q d/,Y m(t/֚tjO0?},iAGce32AҨ#s)rgB(RT!q\CCୟ |cZu%VJ|qk`4c$aUυ^Ø[% k H*]N ]܉? sJ~)J<~T"2,_ʗI< CI")tGq}Z\A~Gj=0vxt!G)P+[|nکr9X[p{T$:4J!ozD $3tM0Ct^:b`QڐLF O}gb"+7qVM_?A[Bq\$T{xH+K^j>C6u#ޱ>Z{1 ?:x1M_L5b&i]w3CachŐ\,Y$sV>=S4t,ayr[\g|i.yȏGfUPTN[ʅ%)9еQc9sF/RYC#_gAJr(DaSJy!{tfS3joHQKn`"n BS<ѤVRWFȚP(Cx I9?7,K? ʖmxZ1S<$s1U >EFǚ[[=:KsU &"v6T&5Xl[me ])q\4Y*"h v;G"V"H?adCNŗCp~P+&UI̎+Q-ITw~*7rcӧD bWJbcS2NSKh |Vѧ~j&VjvP3),U9``/tso:V)-Ff_< ov <;~v"8E+g̏>(r%aj/PDM#/e*>EQZ3K aA@zYqE]6!G{aLT3dm#BU˥OPd[{&trϞWn329z-7gYZ270748b19d28d433c35443d06025c1f39b02bc8779d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 3ce9ac9a9423afbb53288038c66a1b8cda2bf3ef 3778fcd958331e5c4c1ca3a0581b991689d692bf f4b59bd68345b120c9807c301072ea58be04e906c6f7c89d4b1f5da74057bf99e3fa9cc2a68a1df5