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 ||y)T$ ww MFMC_Countable:threads=2elapsed=65.284cpu=116.832gc=4.876factor=1.797zXZִF! Ir]ŗXf1-/6vR[랺 }GNν7h1|nZL.{0m7j%<3:YoWfYyfEq XZ]̲mqs@Aq6Tt>z%l{f ڍ*&y~'T;a\Ƥ)Ϙ@5͕{@ן{>Z"N2kzzOu3}dvYYg I0Vg͋  `ߧR7c;,hX~(bAgjbzh.v*, "A2'aBVVG,D:e_՘6PLV`4%KIkj <`#aoc Cz$*L@&r.D$\~=l! &_6 C(D1I?ݝq=~Z[DIM b aN˺"O\H;hdIfx8'cZTFy]Vgڲ;x=8Vl'R!x'|!@FQ:gq=/Ӟ1tJ\r%#S4ryuT^cz6L$dN^5yR\C\;N2Xp,9HGOxM/ E|,k%E !O4iju\32{MArM,95䘊<.E>Qțd3Fg+ lQ~ݼx⽴B=mNp˙#LlN܇g̳^c9)-lJJ&0pwK)0"0HEm}D;{YR5c]se5++8 7~j?l<l)=Km=Ԝ)=ER'w"$6H Y.Ή]m߭CʭbZBvHoFE[P]d8V% 3, #[C z+1;H=4cOh?ʬ<_}~6Y ZvcTJOL&,m8|^E%Ej0OeC6CVTBϼ*1k Y b-phVȐ=M٪0ܴq&Ev? ) MFMC_Countable?CY"No}!<]t2kE0[OЁpQ )ؙ_5>0T2mLrxPCc5n 'mQjgNTKҵ)ğDȵY^|v{ڍ,y@ `s9Ip݃>B`Ad1fm.{vs"d;}a8>W/ŧ1rk~B߱c J~#-$Y7X VWY~`NR"QG1|ҧm,*-!?j(t`I{`jFhmtjvPy1SW{}o`@RÇ]`TN3&HmjaM&'؁rīgqDFyi>QẄD8uIJFOoEϺ O"F(Nn NU1grjOe2C`f_qD:UU; 4L M}~6eK,3U"Bl̕vQ'O@y$Ӧ ;X# 0?era+1`͐供4&f(ϫUΞċއ\ wG?(bls^] G& +`;T=uIz8 TbP#jqG̷}72SŌ#pH qϜ0Qg$:@CCQ](f5HӺJ&œPk Z'fΦSxQkwŵ3?QYCR2h؏1ߝUdžHwB*%!:63*rxvxqqn=TPcȌzeP~ЩdcH8x:fo zb7ql޽by潶8fߡsIHZ`0Ô'6G h`,{ Xony7+%TW5;7ڋ3̐?.P #eɭ׋ Lu;5u;Q0f}_i~֜ Mi/y?.f1)2r'ؔ2q^gx2| o{xYRZT`MMqU#a B0/%w|%ىnT۟N#j呻W! EiQ7Tʛ+T`0~T fROgj"|rœ.|?C@}m0۔g V*R#๹nVf&$S4|L%$UXEOж6e4'8 _i6z5ޱ4Y0P$5cvgxO ꏜEa0E61#|0G*#l|R(wk |V.{6,Mg*RpS C#9$reLU@5qRvi&UfI?s}';slZpz|:1n|:*D1:L Y}h}(7m(}SФ.+VP-NлcLc_O,@Y٫T|/ 罏@#;ʯ-8=D`_ojĶ1@8!1vIЦ,u$y֔i0 v^Ig}&V#3252%Y`ҿc3HK,Dξ3oʼnGnLשWGtMy>\R>ſ{.ZZs]n~kl(!v,#!zYy &l[8Ec 8t2 n?9DTvr8 j]E-,0m:J+ "k=K#{%[S+~lYv5stԕ5ؼYĝ]ل !6lIW˜$yL n227'?短"p(sXrڱj~*B>&y25GuUWQ#] 4eX.i| =ǠIhrP|]lwtݳ?k;.zˁآ*;z& v4vSUrU}jef:;4@yGp>o0xv[89e5_aL ]kĀY)}n,57=a,V`M: ~wp $AykF#]ɅG{_WzQ{c9)W>}i }<Σݪc`7J_`"en@Y]`4$Zo1BònL+JUAe]ot2y$~|JQw-r)Ku9 ƁuɌYXWbv2OzXH{[ GAaY-Y (r/ YxS7T*.+[ʹ^>o1fD(Sx Ȅe<|ޮ*z[x"v g}šY\S,4g棡wB+m,h=<\o+$z=IGyaew6D ~m;Xf\oo];!5p_8%(&AI)q`/EgYZ346146238c66aa3e706857a5da86223bedd0d725 5e2886080de1faa06657d403497f877b8013669e 68868f13b448aa6ef9d76ca42418b89ab30a2176 727a3bc73d01adf44a32e16a42e3681b2739013d 8f298abcadb3bba8f71b6470a1d7621e1385a5a8 afd761f8cc3d6e32c1731867d5a823768c7d35b3554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bd cadfd60bbd70ea043ffb5760ff880b18f070e51f eb909c4379772f32c76d9ee8c7fb52cd7a871ea9