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 A1 l $ ] HOL-Imperative_HOL:threads=2elapsed=91.225cpu=72.492gc=2.240factor=0.797zXZִF! 0]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʁ7gd)'h&T =س榨l=7c YW){Jlh8J_p8fbΟ=~@! P1L-FS|:H:wBmt)ˬMɫplOz V#{ԬG,Ll?/"6; /WaB.K뵙9eVA['6c~2ZY%iNenxSw4]ZsJUm׳} W$COGOqh=`T76nlcCvy(D~cu櫲!B7T2uh+r0w{a+|xaYCeq\1)LqCCʓWUwr {򛉄^e"ޯ< _ԣHz}#ȭ:Ic!I\ ܤEȵ1 EC W agYZ7zXZִF! >]ŗXiɟ1nhЦx"n_8N]( eOtd=vwdS`Ru1/-^IO5( !!}uF Dbd5Ftf,wXtqn7ٖ]uGg"eX-@n^z]ݥƈu0`V>4Bh%j˻J_Innj"+^gx%ϡHѠֵl"֘o:*`UG x 2Ʊ w:+Zى#L{cae@ߠh bgYZ7zXZִF! ẚ]ŗXi%96}yWN͗*t\6B,< BPF~bW LIa>"*̰!b: 1 HOL-Imperative_HOL`w5c7) _7 d0ǐY 9}Ӹ(l/*x ۫y X!J\? y5ʑ-eD/;P%|b/%*p=Aha~ӻ&WjͷK5Y+Z| VM0e:"ӘV%5)džCj}BCY/e*vL(pf9=" nsYX?xnF  8O嬼fGv[=gi 5OđB I7; _z$2qE86/HSMD`ֹ +9ӋʞwHU/FDъiwȐW$P.\J^t"V_1ƤvlAN}'R!k3.`9M okx28"qs0zUq0HAձz{$q+y T3-YV@0|S)||P^!Z$['y_䊐ދꆕ] S haU7]*XH.Z)Hm*bJvٓ*קN:)x 3*Cݢİ <qnkl:^y$oN*{Nn?}cMbn$kTJ]_ yM僀@a c1De%'GFv`1r^p%brוt%]L;MRBvL+  rJ'?D!JM|Ɛ$N跏|lj#-)%?핾^߫pm"R5'aV!'-f_\Y[X>BFos )5| k{q|atxXcD ̀sбz9b̙d o8(ܔeH,S׼Z`3qB%aһuS~=kVM`>e3_;<\ l^#Ѫ50L]\myae03T1jjmD.j@.qk#?ȱzDY[\zAosHSv 'GemdVފ~mybԎ8ސTѩC'`N3=\y'|3Xm"N(L:nzYg~:l8R5V&AMj z|CDؔ+eZ%]|wX Y HeTq%~ˢC*/ò+Ǥs sRc'.o y3gDhf Z(vP6Ȏf]j֣9%UыCc9 b~ 2K\@\AB ;{dz! m"$V"PƦqȨdY`m~TYYJIRuUqi9H0UႽY1/C\Jk3kWQ57L$nɎ%$QNw_ U8<A(Ϲ#[kuqwW7.jst(nr'}= NC "K`Gݶǭ\c)آisqI~H.2Bf{$\ğlJ] .-dt<.\KwWoFU׈t@Z[*jGG偺Zd g/5+9wy&J//\r̫@ wBp<9a6agJvJ ն!J+uZS'@tQX:c['Uk8L_O'`1kyLZ_)"C }aR>L8u>p<]-ٜD"kZoY Z]R( [=ae:<1L[3k4yzz.dO<)4ofrKҪ4)XbiÆ}]< ݮnlݩc OύRn Ys;~^{]Ss4l P$-0+ kt]"K--Ҵy hXQ(ORz; \ݱв:Es8p(V(!~1-=~x=rΚfR'NVaL 'ThZݐ :VeWzbd {Z[iT~h $+.ryJ$6aXjUTx\u A7?q&!C}*{.î΋QlgK @sz/yjNbCb|9Z^ӣdM8G`YzegdBJOn _ާ^zxT8XA3wv)rq6SsnjlZUu:6ݿ;B*'̔O8,8 u8gEL,,*ӊeΒ$r;1҃BPz04yt7H>4lo\hmtJ#lJm2bk b֨-qDvF /:* MMD(BuBt_nhp G7~kj90=i @$[r1V5>(?aL%d RC#C3 lY:f6T<Ȟ