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 vl`;Gؽ8nt*q* .#lw gh,jm秉lzt3G{'QSa}:b"Dg]g{ Yzy^Xh:e8_[w G:Ǹ$ X bZ\a@4nά[$Ыy^aBWOdFޟ/$gj8履viR7s|J5E ࢞֐[UՇ3OzX}@tm}VP ]Y4 CW Mי{kO 3c fO{mD/c91<ŚCӯ[9߁un ]:gfU (qːkZr,5#@/.WLق&=aW_NMH|Fi{53*>~dUZ5-.;V<_| & Jtpd/1 x5"!9|~r\g6@<TƎӖ\FbpJQo2 0Xjؘ=c,==ӲMt䞳~^B5:^ԄsjKj1ZnYBwCP3۟__[e Ѻ,)ӣB\hT_9?9 VV]T87No/L dCmm*9=yQk־03LTp{v$oRSM>:"c0'S:rũ;b"-,2oM8 mH ,ל+Ǥ&@ LqY@E4F||d+;R:8)G#VI>>LU*>/a?5S2!gY}G69ocv*Zi$ ;vqЬCrW ()pK7T=2#$nzj0u!/ xmEEZ%:|D35l^񈮏Czƛ KlXֱj;rUyALD9RW46`L' Wȟ˙/Cnnp  \qufG3q4s7RirZqAP =g Fn'PEBY<-`lrf߬ 'fgzd?nU̎~?ݤZuD)[}%D2Yn? yEJ ]B>4@c ݠq vp`EC!+{oץ#1716ޏYt;em!bHDZC :oôOpxq,sJ~N*&U&zpZ>Xwt=evlc>uoBsincg=٬TIZ;;US6bTUzxbƑkYav.Cc_=oxly[-7fbSD!Ϣ6u`,s?Suy_AT멠l'R75F:M]-6NeJfzoi xN@kٙM tέZO"+C`ϧ} AS.cm3i9ȏ2D4n5**Q#H[0S:d3FoO\aE2$-ԑ$OH#bpgIZzm}gFtM4ġP YU8yI `gJU;dQK*0 ͟kf.E}p:yBʯ|GZ}O}vW x5SPZF^n 9X.6!#pAG~Jy1([g17~ ZKj~zI15D L>ʱT #rY9ʚ6v5}9G_r'oFI^{Pñ3 z{7%!ېrw15~ !-L#9-鉴t%2!L.Ѥ-OQE/g7fK%)},K{Qݳ~Vأn[9_ 7م"z,2ur}|kHChA; pd)L7wc}]ĠNc^( ׁtL5XǑunLFuqTUB7GZ?x8/ebkޅ<_=RYFqcKUss`2 &C؛Q6OdQ=aY*Hk:lgp~;WL!'ӭ ׸^+T!t^+,,ɄJWM3M=^N%KPV~{"jړep+c߶8H4Ǧ %jC>f\Ya@Fbf@߈7p הRveFۖ00(ʨtUnZ <#;{QKDH[A-Lߜ~sSd~T"'a&UtT! j(hwyi2;iK)Y^ Mޚ. 79?1©DWmᳰ_NBMwGi-!l ޜ Q[ ) abLr43ASw׬ii3G=öݗbpWD<pYϭS8d6A|wJ~̌C5ņ_aZͧҟE,U+B˗O($s D*_},Ԭ̄ }y;r.*@"H3Qc{ m}&9 35_q1*Sw{!T`LDq#:@e%7No!NE޽rL_׉@L)=n]54 SK3Z!E>@>p87Y$<ЩL"ö憡|oH h5A`ϓ$dpmʑ"9d%KZ>P3kM/#PP8%ˀ?9qV!YJ $ gVRcUy"eYMg;qD_'aw2WLTAtjsw 5-֛2[kz*',lyJug-Ƒy!}S }û~[^)ό pKf89Y>=I C gNQ/},(`#v0` l0pyl$`zm In M ?b[* D," k\\Nxi B5bH#ڋ^VϬʂ[JLsE&XF`C;5:}E$LV(jӝdNx-ɩ>RW;47v3خT:lD82f}6~8 ZɍIs1:fzLc~u\CXd/-d>SQj$[*4{5;^T2b *~A]!EV q 1/Ko^t.;0[Co==>'Gb2%Xkۇ5J,ԵB$'σWqx-"Hk{8}Uz M*e6;鎶E:MicЖhH6;ߺdQSg9O S.fjrvv<~U,h![YPd;{FMɜy[?r3朩yɛw:gJ]QIRx[GpiGd—煊 AG>D\պHNs쌔<㓿()OH (,e~R'FQsou285rXJaY^cOX CUJ||+ ({ZXٰaj1 B,>{E0Y4h.R2']OQ`"H-GSϥ49<l&2iڗ,hJzt[wMYEdr9+-B/M˝ xAl3dnP}˱̓IpȆ0$)!.:j4`d GҥsAj5 gt1nRzsOk^X啞~'g2 aF o9rOv,Oj{*Sht1Rq^ǟ|Gqh1`XoQJ)uaG臘W74΀,~th\n⿀xUA]i{BvpE!^oK>wl>Sގ]wY)Oڵk$)3;kNs~E~-GH&{ 6)Xs^SbQia=Pa?5jmARJAoMg\RȀO>/8̞5nҼ*w5ќ$S=0E3l\ʎlh;>0>ܒeςMM4/²^i~ݺ)L>bvEx` UzizQzju LvYk,9н%_I3ӒRS.d\7n r?R-E"J8P6nν2kbww&YDXk9UXT~P||+LʼZ^ "_Iy.Hh`em;鹕.*uA$d,xL\&{I:o66  5L8ld# p-ګ@la@LU[q)ɮ?rݱ&=TE~tr<چ0WU*I!q*na'!8ĕ0@%ƐˣZA\,^<C veuVPGUCij *g򩭱KtP5Q>ݪ,Zur!SRJU4ԱO ƭ2ȶQɠw]wn^?D˜Д=2T/AҤؖI1 ) d2ǽs fԞ5ؾy3=< tSDfPUʿ0OكtE-[GaKR Blz34v)G:='vz'.u:O:eLEqw'{SVLh3&p@n;YY8$|!kq2`ˮ,Dtez؃fk}\Kl-k`2TȗjaF]g-ygHee^6=w?K=kkt7x(]RLBvUAT=wy,U4)@FwIrSfT>NpGe֦Q̗lT`H GoĦE2aβMd#ẐU i|9\Lv\YYX-j4+ \a?o#^c nM\2V /'9+)hbP{;^FJ8$lźHK髩hY{5jű{e{^4?0BcwmO9T\$:#0lHX"Y.cTN cU\% @g"Arߕ]L-$_Lb ggt̕pvA5v3Ux4UTiz1lP䫐72uP,e6RҘB ob/'{81_;e(~:t5 %km!ou|_KN gD0+_-۰gDN^f!:ԝt;@\/x$->_'GcT]kX 9ܗQ5Ux"󒊿|H\8#A]nVIiqtt1VON}S'-^~? ٝ Emj P dƢ%:KepC{04xSd39ShMQv1,`)'waߥ*R܈xHuVXw^sqېŕ@$d jp7t,pUs֎K }Vi~#~ժwK'?T2[͆=3> eOP'{38qnHuY8^[ Px"}ڇ bLt{Fޙ= M EE J;3+25~;fI>ո\jH+ ɏ=`~+ 'd~ug;0ڱi:|1QJ5 cNE5@H'0$|.XZjKʛuRp>nB!JH_a2H{BUxpәl=ߕ-c/+ģI^ :L83c9NNID;L}gNXee2ݫLwo0W4b:'@w穖@G N`5Nd)7@mi,Zn̾Gg2,m?C^NKY +3~*)r/,C1w[ߢ?1mʍɊ/m>ܷ\!";[ Ӥ2!>β!|>7ʊ.`0Ul(☙ӸH p[SL><:Nɇn'H/0(:8ނ =4 ̱gYZfbd18ef0d60604334fa24100ae859e385457dffee70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc8bc5e4e698b75064ace23e39f4df53a3b43b01fa