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  FDl ] Circus:threads=2elapsed=51.614cpu=100.156gc=3.616factor=1.947zXZִF! HY]ŗXf1-/6vRZyⵞCy*!Jlú,CW+j\P]XSxm/B#\.u-,;{ꍡK$Bt~@)E Ndt,u!H0ܸ9\XN_#j u{E) Ly$T6 fYudN;K*`q.Tpn}6HMmKlMؗ1ba y.-:b& -I G&AĀ77uú֪sRKT&\Im3rF@LX_WږsЪݽZGujk:utpQǶ1~$KB>4h4'G==C(+Dy~8N*,eHs;2=B-p)uA%޼.N`ӭxo`-,8}k# ki\~9͐~߻L~RI8|+ ُyԔGGiJ9o Q1~ەUMEvL-$XCľm *r<+tEOŒ{P_aktj)>UʰO 8uTj)S>G7(~RqNd\!2K j >Hc}w&f (,s߄J[hRPmq7jk5dOxm9کi]Xc7]И1䪲s-Cw]KTT]\ m.M[ؤb"H]Jbe:Gf]FQrZT0UIEN=>H lq@aZ%^`fZ%2SJ(c#:5gd Tɑ\v} 3 Vnpn6E\ wO- /RjE0Tt0S(U߲|/׽|}x;1Yػb'i޻@7Q %*>hS2qn".LCР/E'Z2 !݀pŠf(5U.U3nvp ]26u2%2}Pʖl\x-w4h`W w)7>AUd3]4K-\'bF[}a4ի[z^^w<־tv⩌peft{T r6,*LiPݫx4RM[ >3'c ݄GnR$ӝA_p$oC)gt\X'BKqZ;ㄼ   CircusL0@A-iēf.O%%mua*Eyi$[&x/3õrir/:%,%d;_%bJ"bܴw xG0 gYZ7zXZִF! d/]ŗXiɟ>+yC, 26[38 VHAx]LgX[5vֿɆF#Y3OrO7JM|d G'IvZU*L[&vn^_:T] ՍkW/lԢHܼT':3$ǜ 1HHb8fp~5E Vc53K!t^,k0:r"#R;1ߨ&pdvc% # }-\@;.ՁhXW6/؅^MgH:\er'gYZ7zXZִF! HN ]ŗXi%;cVp>=t8riX_z"uK[fkÏRo4g/AUCLr}A6#7d2Liݞ1RϾOXϨq Clme rx8g !KCl\Yus܋2Yuss"nB#Ouٻ . B_>IہFu-qĩjnӚ0oh{d98% FLڰ.MI"go ea$P*)br+5t*5hO"nು6+kYK>d" 2La1=DË1+ll#wBYՁ Vbj>?ʟbFJ駇?zs?#/_w2W*cZ (ÚOS]bs!C$ib%\IԞzuWjg4bLx:$pr0[]bFđVׅnR eU͋s+;H^:] BDvXЌ{j OςB2Vn:p-Մ\)$8a̓;HhF]f{q.4cmR0}۴Bn:lu]G+D;ɕN0' du`o_ogiq§S]κjEC?C9lUYp$_Lz SN35;=Q&6ֆI.X0aqMl9s~G2X|oQ 1қsR:gi us5D>TBO<0D:!?m.G{9B ##)"k'/KŴBs2Kߓ}$ >z-kW$6ߞ= ;#eC<~mbfȏ0<޾Zb8%~Vu5h|h$}AX63NJ$8༤o G+&%G FKAKd&e-9Cű:Fl9Pɗ_]I٨`'{wtq@oйMGQ;;zo*g;hxaI U-g OOF(ӺiJ`P\Bؾ>T=!H^ќQc^繤j_z$hT_ұe?&,-br@y|_TPX֨èvk!OFwynVKvͼU $QVC0of06Xs!x7|/#Z@)%O"{Yw>|(ܿ5 6koT yHr C+M% |Hϲo)U2R]RaDӴU$;6٣f|!_6GR{ ujD)OM>v}5-˲AA&@X'Lγԛ35rU:S ȕӑK|ΩaM퓗f)'%׆f\O6<ܡ, ((WT33Cj9*J!?IA=sk}*fHwJnpk;_y,$Yוtj#db~!`şUo"rN(X50ʟEnC*2 z[mOsۨ 1q·}֭3jn<^͢x c| xBf&Yq 0)KaKMP4 2*>OeC8"+fK plxvDftk$M %-B"hKEֻ󨟿Ȩ^m*␥ F!߻$betczAlDbCih?UTEՔCǾL$4ia c3T[+O[)зL~4 =+m#3TE: ;;H#"H9,偗9pJG$6 [-^pwJ+7uUso&6i%-: @_<ׅjCbcoC yd6v<תGRh!R. r{rC1u\9x4Z/8O:.5.Eɑ|lKј'!oer $fnxGmMW*cO|=J?Jw40A8+hvj@/Ry Ti&d٭7t,uDŽ AB+KCfYJq1eP>R>4HjYc-l.霢AX\d Q'8XJ]pˊ }BͽTi)Fi$;_hS}xPRp!zo7 [=Awࣷ*^{1r;=RCfEzF/5!q ku?X֜-Coυ]2 AQn׃3߼pW3䮨>x uϺ~jE[]fgjgUΰ.P<ϐ0gYZ2038a49b12d9137da3417dcea019e7f7f5af213079d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef ae1264fadafb781b758c2a75f667cc392a6d572a