SQLite format 3@ .  YYQ77Atableisabelle_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, "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=78.891cpu=81.440gc=2.684factor=1.037zXZִF! ๚ ]ŗXf1-q恈1$1|-~yߢ" w7Eh % .N!QO2, gR[>Ӛ7_4`{2  &_*[!;SӚV2޷+Ͽl(`FrSy!Yeq+RI S,RHFhh#(cA1ñ,˂]xNFt2gt3{x,?pryߺVi:Ruo,(lRl*"!]%8Uކx A8K? 4.cHF P4A 1 HOL-Imperative_HOLkali o5(%h-|Ә!8L- c,PJ`U`p\ u&_#K#3TCUDMEzIܫ@Lµ`mƝp'ӳg'1Dp;b1>d̼+Xf4iGiPq#(W۵nYZ@B~3y·B uŷ`YqJq4QwG~6e$qJt6& 0n=O=r8\8忔CځހV%x[#!-ћkbwX"4g7Z^d%~_/]Ps:8Wq=-7|F>R8DVE,F + 캩/+WN!1 qXNFp]uςJwfa֮\9!C¯@:x/CqE|(p쥜K/eAnKjRUk&pĹ KۃGI8{O|O0vE8_?;\*L⥁\Z!ڐ5zL^k 4Qd|{f¨q0g6٫I;2|sIK<hUqD }Y1_A},IPK Z#X~ZB"Kw;ǛTxȥzd'%%p],sػGAI,K\"&9s4hr -d 2JGl+<3p:>r$>U 3#dm!)H |m.@@T7 %=`,q=a]+ :gu9iǔgŏ.l;L:@ Gj\/Q3I&A!kݩ2gTS%m#f\\]9dʹ|c%\gWܥ6oj4ރrx7`׹$ YafRQҷ/ֈ(悹VF\cqWMah4m}f!20}g!4pǴzp1#ۙtA-m4!v0ԯmd^+մ&$/}zoV#H Cۄ0iĆ/j$\uÿ;+fj)hۨ%q @ʃ; /cb64, T vr%n`SN lOp+x9Rx1(Q5 EANL OmwolA ǞEh5h ?NrK8Ӓ}+&xk<@9!r_Q$us&jkFo$j:qD$ YY*橋 U*]oC/ 2L5_$r*]8ƾTm Vk13DHSQ@?w{(xP̴ B"yH^\ 02v#}؀$]VF>s+*!P}{nBFJ"GRtTbS +(/"~ wi=vEDW~>HDZߒd>'Isx{R+4lmEIHWWtT#M 8).Z?G3ȳ$zX$>᳙7x.xwga׬Ֆh\qaT_,gdٴ1dXF0`Vy:0H?޿"papBM[?`g.ko7tltrf3V{VoCx|}o|$ϫHR~JM4 I`".=έ1{87X _/qܫ {|a*ᦶAt_B`]Org `1ȔQnYC#Ҩ@,h* Ƕy1%{EIn5wU35޳׮dl(sgYZ7zXZִF! u<]ŗXi%!QXϜśSJF)דt6}| PQ>"i[\ݍjp1%[ fKEC\(k{~DXBpw.+{FQ .J7(po]"[t1t[;AQxf?puu]Qa] U?/(qWj7s2Knq Ԏk°y!ao0Sĩ$U3;$30굥@zMOIȫZL q삷Jv@ Q[np@Pp/Cn{BrTا~ O|괭_d` `M}F?NqX3Y)Tin/Hv-A0#FMOb?co輬|#<"=F2+{ƽ^q9w3rh*oljއLT$s"F4оELx3pVԾA^\^}>D?Y2o.D6/&g[ZiM i+沩Ż u@ګ $NpNqW1 AF,Q#"tb~nHS<}!PYwQhʹT#i9א ,p'^w[#w|9F!`es6k;5ž!by|c:V+:3pz2TDwX#%}qӜjOd8yZwʙ lxzfƴٔ4ͮSy[3 ףRe3̴#ц/ЭZbk+wT'I* G#q.\TeJ䓠 _.Qشi>_an1LfbT6/LcBICcToy1&۫G;Cо ^ MMۧ2fݞB JOkdWRʷfn +lع)ӳބ뾻-EkIs5*yAC#vY B̝5%" 1مQmTTԴoԁ>Pvi''ԏؓ/^vDf[:'5E޽eX<ƻGci X˧>G[a坞54S˂Q}kfCV`*|~LVmğ]z^Lu^4Vpğ}x+="ÎCo^F̈G\ *JHe>"HҊ]̈?y) DhMW؎=Wl+@b\b *.,SoCb_ 1֛=1cJ_'u}NÈ^Oe%N~9Ivtz$0xFEahLE !Dj>bujNI+yy2ģ:f^fYpQ2^1#` Z\# CtS}q Qir=ӝOTV3w$V^9bY<懴Di2dg2KDx||l'G(ҕ|'Y Linר3F׵H?Yx%-hЊI)4{r.vt~zrjxkM{)8С )bYGv=ّ/ES)K)s[x&߼S}1dkvȶ I=|u۰RCs& U3 Vu(' mF5xy[.NG%cpJ%-Oz<[bT.b7ycKh