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  \ \5 $D ]S SequentInvertibility:threads=2elapsed=52.653cpu=103.272gc=5.824factor=1.967zXZִF! .W@]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)-gq E֬L2IFm0O$lqヒIdmDYD cY6|!SV])~0b$eoHP^ݣ*@ l Tr*.6VQ(ȼ=Zr;[AEB pw!'#]#n,{Zv fײʎ`,6uf,FdiS/2QZ ٹ#Xf9>G8p_YJxHx=95];WroI3qŵ2cPpfų6Oo:߾yLOI&48z[P7FtC}|ʏf"gYZ7zXZִF! ]ŗXi%6\:Pqݡ(j7Ts'[8u}'_SWm5Rꎃ.Xm}&gr<&^Bh1ɭ:TOA,@~t? O]?nrڑ0osiPׯ@)c. /HEAŴpZW8]wk<=!iһtBW;݃`E檐{6<h>ڝ)T rn2}1,x[ \rަݮ\EQ#шJ~fT_HvBɲtEBɑ}26E69|:|PǵI- 7p8\E/?+X0u8HۘPkmsekAeˢEU]?D4P}9 YN4z5X]/\+ZEOei{UN5E+#`shM +C#>ڄ S6!׆c&O.I| 4dSo=I 9U #=C-*䇧I2)XY1Bdv2UIwv&u$~_F^y+dH負' 4ѝO%h:|۞`4Ǣq}ۅsΞ1!*0d]7=0+zਈjMW#'5$ܞfO*<%E˼ZS* ".=LAD^(l"⪾Ԣykt9v|U;Y4(cbYќIj{?Ǒ5k`x0-(6]5.IN~&İo[.KǴ{F'xʶwUQ%Zu $~w2sO"Ѫe Evv}"WW8]TTf26z!1ݬE~j~8o.>O$=- s y_J { gf4 9YH:oP\x E#gٳ qBt&^'ΰ?b|ӣ׉^?|/j=m2Kxl|SFkayV<Ȑ͜a~EN#ڤg,  ޲BAˊW]fld_M][Adn`#7AoܻK27XU$h|]IUk/s+~e!u (E}a<@!&rFEo3BKˡ)*,PqhTz81Plxа%溣鶲kۿ Y #@(_'SF&UX^d.< DN{ySlp(]u \Я$BWTহB\93ǨvݶNܝ\uIլm~}wu]+O,"*.P%(?#0AKBY'Ć$>L婜?* #xlBXh iGP7]ωw4NPIpB?KߛE"t־Ql GrQ7*?Ò;ja@>@ ؾ2oN?!jʮ[NiVj4F83qtP` noxIJb؃c޻iF^_>z\H: M 8_n0M ' W%*@|j}lF .ݺL=v*_-`-7Oǜ4ۥÎ2xtRfIS ]MQ:<7 `yɫF5yDсdܶSo| Պh"O^^ɠL4QR#ً !}ao h&C&]~U11i1rK9bNIpmWT*'1[xuk+p~: Fm$JQ0 /[iNSJG6rAcX@uACI< Jn_dՑ y-b)mi6IuDEdu'& Dv%К^!-<{5D0b[ 7%Uur}_5@mTKg-.M / ! wy{Ņ=Vkw,?ߑk"ԹE6gYZ108f789f7591869ed1fb73258869ce1d4d03bcade70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f dc5dec6897c4baa618768b5cef65331eb1c46819