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 E/pG01aa885'*H#M ܴ!GpHRt, R8m%d`?!\l6eNJ ;YqY/33 oӫ+wGc^0 l"BVK/PKp^skI+E)OdKhMIw$f߆0[_)"S%w Di MRa~B0CmbVg#E^IMHj;0غSqu C1q1&T:E e>N$t~\f%̹J;[e>\AM03T-5 HLK)ĦhłTPPS/zTWf 'zkuNL^B:ךNPH {6 9ar5yZD C;۠8JBmt<6*bmf=G yv}DnxKxCk1j}Iϝ$kH!e<YmǾQ/{CSǪ}_: cCǫR`|yc{ƺh7CŹI*?Et2`VW4(7ES^  ? xh{F F*cf k b*V* Pi;+wLzbuq6)սbn(}F<VӮ ` Ӯ}mlC|3_](E$w#6ʵ^G][^E/V8$kݹS@ڟY !vFrZ磌Dw5 =W}w]Dg!$-Bw*Ux5SFc6G@WrDρ'^$XCG> wM"|ୁsὈ: "OV#CvU)& gYZ7zXZִF! g]ŗXi%6{AIn^!K ]/*ޢӁv;iI[,YÓ( H3Wi,FZȵ: ;܌O=2н4> EI8T֛ӥhBr[AGV("(.pM捗~PNW0kG0^w{RExrew<~6)/Ը]USqe,:D W{=+i gH[`(6%Z9;-vK"V!E%)t3Pělo+9 `W & N\Y*fg" KXH8;3*4A_OHϧKӘx/\%u-ɺDSa m5+qy۴lY#]nnY}ɡZc0瓑ցoJ fsLpJWݓ|`ILS{wRyq贌Xķa9&PRZm*EZ$CyrA@}C$m;1=OL   BDD ux'g5pֱA={g䠍?+Z-SO3]LQ~[e##B%r)Ƥ]+)i<؃U#mTbal8Dzdk06}EzG0i.f7P ]c0.#'oqu£7ئ;׷W\ {js0-ibz[C4O. ൔG7W˦0a}m"_.P>'x9썚7ЕN<"/QHؗUD#/]Kca~pȊKBk>e ƈ}dB"1xs Nj1[.ݣG_ LԦ%F}hZߴ7){mF#TTY $QyZ7NLrPh߇0ʤ[yӴf5Z;㑘yp>WV ]W)ɘnY,*WZ&،>HA3@SF#*PmPӵ^ MRArl[`X ڋ[*:xwMC=3Hu: k YX8A_~Bx {S8)hv,_r63<ׂiΚ0/ΫscW6аngULsjD$8 ][utkj"rFR!xrd#' jgT1yk+ i"Ma{H:{y{-||s 'U8>|]D*t&duƓFB@]Ov4cGBP_kb%+Ӎ߲,%NG/nunelƈ}Hô+ ۅ(:ka33@YE/%<`Z n/HxSn] t+gr1.$`~}ꍣz}%f%pS~]ܹaVs 1ciTшOs/^cKd~˗ 8owl42jcViBťĆQn$E.hwu*ՕNt yiU?顯VǶf)JdEXr@aU7HHѕzL%z5* r"lHMfq;о/UjWX+tE |E6LVח- xV#]G]&vXfTdUGD+gW8F6ѐC^r"_!|@;іm6>3n~\c0׸ulJFp+<8NhnWYeJHX!҇",d @чp)1dcJ3au\jT5`Р{1*YNMhH kftloyz-*qΒgi2d>2|9ƺ oܖ#֖pAŦdUqMU;AX848q} {9&;h r $O8^5iOMThU"p Zm)%H$RgΔBWϽi;QL,7SDlb jt Y튈`\mf[[+WJ6MChX=Rv39µzEFpzm0+L'[ >vFM,B=x|h[&\ꂙCe2Dy0#.ZJWV5QZ_5K0w& n>haU˔1&̑&Z1~Y{Oiy\bx|HJSG! *wf$jSE¸F˒  WbM({d^ڢ8e BcHMw[KʚiܞpUh4e4zYb[VimeL*@"0ڋ^EsioItrey4{+B09|hi!BoSC;:lz&Hg0}*")V6μ2GM|Eу69F kdy7y>0f$G1Xׅx)cn~磗j*{q?}_&Aoq@LW2ܜd] d2|i%ws0[efzp0+E:G|*>s珺Z;3*ʤ9C[S<Llދg5/q Ml/[QܑI]Q{ùA=; L U&=Qx}<{tӢd/^ ^:4E~fff?x15h5.MWݢwa| N;,l7ΑI aHΨ00!޴&PezTlVR':y_ gn fy. !GXߤ}]Q+ >'O1)RW=s#W!H~pYF14 E%ި 0VùC {g;4B) [FCRɤ&J~Й FYq@{ x>>n ogYZ019954d87c5f58892235d9ae80daddf7d6dfd21e 0909d19d7b559c15778419e3eeea99709cfe2065 33a9d4180647089d144f78843d9eb2089ffb4c77 3653283827125f2f588b57bbe76c72b8332f8849 443a551e9c13c542235a4ff4c753993dd761508f 4c9ec21b63f2210566e859946fdd54905550b062 4d1e02ed60e121180000bb8f1d0a4c89e2a31d06 6174bd33abcefd603606294075ed4c44a2d9454b 733be71e227cb5309eed0a9775d52d46b41851a2 a05e39a1b44bade037910ee495898d62be135310 ab9fa2e8b982b2c6f1afa0e073eabdec2651aa9a ae96e81b03433e2c4cccfa87431aa542362efdc6f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 1c8df64eaa26a2c0505f0ffb2d85a3da4d34237b