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 3I + HOL-Predicate_Compile_Examples:threads=6elapsed=47.814cpu=155.748gc=8.152factor=3.267zXZִF! V]ŗXf1-q恈"3UUMѺX@Mk"IA̸KEgPI$G73Saw/s8| V zg6Uٓ@(am韀W u5{6366Ѵv ,v/:Yk8|t8@|O1Uo`LkWKZA_=QG bH>䲭t#в~ 5Ioo U[o]ͭÉ} H^'{MrÛLȦl\.gihÁw p'6k.7OdQ{MP7V@cH]AyQ6Izml 2w#ɞ̒^=%ø}c. G -OՉNc^Ƥ==Q' [p" /n}Xo`aQiyPA~\v^i}?lwQ9'= Lz4P ;gVs$F X?tbBnΉ%XaoPcÁcR[UѦrBW$|JE+Bj,:x4р{ŝ煮Sڪ|7vd0a5 ! ,r[NnΎKºJe@ǶZ)T>nDHVCy2 gC;)sj#__4TZ6W0g >VvRlQ՞F$Qb ~k"\d0Z]Bg/4qvhRJ[HgS~= bj:}/~,J݀;t)һZ F&훜9JܦJnbKO]/t%:hRw5]73.W,@푦fkrH(Jڬ oeP'U;$~O/,o}I{ѯ]Wb.pomt+nJ_~?gDv|XD㪎[4J |@ ‘!1p@e^FGX.Ng$O ^jrd`-R O0moNW1+Oj6JU0LiCeܵ -!-PD2(}.phTj9s>eĹJ84?3oEfVDi LZ52}m=AAKٷm2w6 b)\8B nVúå@+#pU4oԹRXg}ܝ-Eƭ՝kpaop!Yxs|"6 >IJ#RuKrnC ]v2J7fHF3{g]]P5L}0Рlk-}R+3 *JY OvkX Um; ]%I jQ|Ӌ1AM[Ȇ;1Ҧ )aL)0~#hV\1$mVg^\"||/dVH&IFion(R &$*v|cڮ'ae=ijWiҊKrŢYKBBP1y5"u nF(\LZv&`eS*_ ͏QÉJ!W4 ϐ޳8ݭPs(2n`d^?_fB5;I e('vZvoWzPQZ7#Eb{\fhbk;MԪ!; j3k)7S)q\b}&.Q7#̞iE'!n[ڿF{\"GiꪭCU4:@s1`HI Z!rKk;O~â#|u/O: Tjik s^:W^.?'"Ҙڪz>A<fAej(@!ھ8tf7j6F"/R|3 NN@׌dt=djkbj/|PX S&q:J$쩋l`LK &:D .-@${k q>]rc Slm5M7xcI@?،2R0¨#X7i+x5"JU}<>2J6+ 5 SB$)O"dqXT"hoH6{?s@+B0ܷ*Z񿢳djA(X4wHZ4MXN,_<7+CZcv1IDPU1ѠI(h(CwGc mb8;<2T )d(`< ކAJPe3r ,b~B)=a͍MkL>m HW wU1$mz3Yy$OMpRe6*n?H ๤GͫM:ŪCKBtԒ H'6fѭ]ll42<y.3^)LW~ I`( j+gYZ7zXZִF! =]ŗXi%KϼC=&I;/ $p~ȍ(f𜬭wk~ ̿ouF!4ےG}`G)a$)i2aB㌥s2 ԧf孌?rs@0_kh1 G逸z5^l^WgA1wvilh|Q )c6dx9h;[M5Mea z6a?هHNw[JT4Qvӓ@lG߁$I= vv3{n4wԴ"hLĨgJ2jBWy/1qfj5\U?1or:sty ]G oдèVź}x[dQbXȼYxv.tt` ,a¹~/GV%OҴm׳3 A*W"VB?*;_ :&SM؂PvdN'#%-~4ν,ߨ; ?`rG$|rGM7L.=ꕫHZtWAT#j[I:bZ"$_b `)=pAMYk_?b I;aSBŌ>N 5 П?t]S%޴gvVӬ1:߄9c' >;,\N.[8gĈsfڈF Ste"7D&8NނkW$:`q^t@ņ kݽsAR븩6-qʄyUX3\?s$T <|!2l(0F!fI,& \s8$ oח/Cf,|]0 ̱oZrF(P#\ͬǴzB0+k9bcje~TmfFyì wj%t&׆B55y1h[\ɀ7\RØaI1a6"QB$g4dg N4/Ƀ{ f1Pcj+XHel60k@{?:Ir1V:Ó8MxW=uo&7xp͎vZYEn$tl狗e"U)+S*Ir3$UKW.jʼNˣL(8_t'<Б@0(>WS91i HC&{ܘ~"F1_ZOz{)k-BEa13l/.jAV?-GIsxNp-F{RoD+c;SG7fbm.#Ƭt0]4SafSBAɰuj^BѵK/񻋽=#BW(N'?Z:\ o@5a<5`ůG>1+|$~#bqn۴UmcG, U0 0> [q`տǞ~4?ˑ69K<0P]wڡcy造7 Ye*-Dɿl*مA`Y>8L/wE6Ӹ[]mpٚza8_~%~<F?Ȩ~ Ul ?ps)oDt::̷)=`)+VR]c|o͌'7۱I}k\ATuTύ&s˘O *Nr9 M/ݏogs~)NgÈLOY XO'Yغ1adiyWSK&{-*:/MK~|BcVZپ2x=Sjw;>![ռዽIM嬞gA'(B"@rRxP~:/lγmYKnA2̭ȟI2? Cv _[:+4ظ>肱W.gTY#gv1͢ޓX} \ 7=6jL@z}A0 ! ~QWLd_xsH|49i+>ݹlH,KLf8nVC0J)ljM,7wsՃo}`|d-+Zjv5o#"ݑj˃4UEv&lOAZ<-vC"kK " _4՘C P0RQJRkC&%DV$b!MZj^SHsKE'8PQS05XJ_C+w LH Y.6