SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 33.' | O/]HOL-Cardinals:threads=2elapsed=21.746cpu=40.460gc=1.508factor=1.867zXZִF! 76]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:|ď)%^}2M+Ǜ;5rظ F@W#%fŋ7 PiP88,&wocT.V0\`H-f Ƥ_B}js nP#m 񈱲B| nc M6"zT@8_?"Z:am/EA8B$ْv<ϙ2i*uL+rSf =kQx Vt0?]Vyۖ?β왣jiie&0 4NԶS[֭\-]ܠ9IQk32Q2)4)jy-r c~8 GԹDKG- Hɕ,W:#My 4:vyLgcFb w" 9Bح'˰w{g! 8\պ@}X޾4ѻ,xf/^}:\9&y'@]@ }(XI{$Zb:2$4bJRe@M!<SϪ{ȳ%cV66SX :& ZM3N`>aVH`Q9ud ɑfD0P{ƶFmNG&(2_*9zlWY:xo݁6Pq{ \V-idGvjiQ5oa֒Ga.Uû@ДMwzxq$Y zF?vAv 2NyC">o^'85Òp]OLO4x -|z$NhT38ݭWFm`?rH!2)m–XUu](&AXӈCg0C*Y_½+.q@d _~PU'b#o۟e^ږ;y_7gD.w$9m>7HR ^wfdAAS D1>istqڄ)O)H dĺEC D*%T뫁nӺr'bn[2ÙZW7tr\8-)p[%9kU3; w?_4/D(U /]@;&]~S[C+ݷV3վ"wd3vYLW!QႺ }n T'\ ~2 P[u==>c3#Am מV=uQ!\H+T>%rx v~PͳDE m9Xj6 E X+-^FX=B_LO||QZO{PrhZ'9(&Sm /{ &qG'|f"eLeT%kd  L]/qxƞ7't<aom'z_}TJ.9ꪐ+ukiU:FN'I A6&\BCۼ'/qs.c(Mvv`iڒ rBj6k f]'6DKڃA%!hf%qn$_Vγ9G0:feS+ }V׹>MJ鍈qr磷OCPcC+-qBdsn=Y' ̅Te[yC t5\3ͥr#s$Q-a;| \)o%M+&ʪ/je3bgoLl`L_rc:Oᮜ0& cYK| IZ$#RRl;c.֛VG9N;՝+- ԗ C=BDPL|ߎݹCbU?aڦ[uX/2CEkDzϱcn•^NB{Sa͒%{ K_=ӭbdX k 5lR:0=~\G34]}N0a4vI%4oylp2XZ@[LŜb;GG2'^j~5]wN֗hƒc8bcG:?߹(o Ԋg=OeR {XCO8?QjZ) P(?-S AG:;,\f=icg?8Io~\6+#rrpNouQ1+-l,|HnGTd ב3 aL &UCc΁ޚ<Ʊ)Oe zKД}66(2M,*Flnu̲O[@:NU|R ~bj6X#&|v/]S|EFUig #tcۮԩ0NjYswᤫ0eo 2gX!jYI5fsŜ[ ʁc#EL%/P煊!O^E5Gx-g\|n sG4.~QzBԮA%,ԋHezJ߸FAGQqk,*a8ld#?\|@[D>ZiQ@M A!^L ?S'i$=|:WS(6tL߶D^zm'|%OL[‚;\]wk{'{Vq-g7şX oM)F֒dc,9 L>+yR@jp1g|&mX3WDc)@0xϩZ>?ou4*NNGi5~a\< ;`iLcz+z>/ADa`Y%F!3(Vc*Un>7ZSPX%'(? }d΄Yr^H;v |*>29,"ypd"T0c]~ogB ɽ^A< 1LS46>rKi1}a&*Y,CP7 F^;HVicSiЖ{}O?ްVW *0F4v2j,X|j~7?OOBW< +I/Pc{sŠdž/%),Y;o9>fjKjZ,ժ{Li3_$ |&0En@4TpߘLa+jU~۹, } e>ҢvTUHM< 5{Af9ݫ_ɿ3vP~|gV y`C816`Shfu1㶲^_$ݖ/-wPg/2QQÌN,v%&nz/2M}ݚ#xdVLW-b~  8RkyLF/GOS.AS@VgͫI|k%(gE9 Vb?ަd>#:[HᲣӹʨ.͋ dYE_@']ekǕ+YZݵMy92٤YB=ĿwAUjO cMAQEL X!Y].4_\'ذ KsGCd&PE.&z _M!Q5^X