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 ##R) \d 5% Jordan_Hoelder:threads=2elapsed=18.712cpu=36.088gc=1.404factor=1.937zXZִF! V(]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃.F /`Ku13Co$:f 79yEQ*sPӾwf,Any y\_Gd;s)B l-¦?\<κ%w8oŋ0wy4{zբķgӝqBu#41U<K>iUNy"Թw\iKP[j.^5qS24u&;`z*qyMЇ:Az96ZbDMi40vҋȚJ[j+?~٨ukgN Dۉ6sb޺)^)Yq;s/I~cN(8_vnϖRNW& ,lixI׷:TEL~0$R>x??$d2,t"G}>ƅKBRB Uolg=WX*?L\ߟךT ; OWUa8 zu*[5҆}[^hZ4Mу`.RkފZ2{EH89QEdlX fq7*lBz8t=o^"E} '2:Ӆ_!O܇w* DBZİ`$3D$dܖDrY@S=NwWz`DزaDYhʈ-ih!QJ_D|@ec.ȣasU:H׳ }" M<L&>n&O [=101 4{x?M6~+0 bGkWO!0[iwPwq\8!ކk¾@^yF6Rő1mDF HqCڟQ}D%fR~Ak14<]:(J{r{4)w^5̋I$$>&ч[0Ejۄ1$_px{*eRD%\@B-޺g~mv;4skT|xh֍X{`2+d ֨K )8+Db gv#}m!:1d] jץSXFkCTApA0 t*B:+XF ڈNVa.Or}y/W} ZφfL#rD]A->̇+CWÆ%E~5ϩ%;.~mtvG~ ?Gs.3+=˫(O[ƵFo")mv"W>iTzTdԤDʞ>aK?Gr, +(4K zDs0x:]!J'nR  Kbz!k ) Jordan_Hoelders8̻7(_ȍ?zz|1V:x޳gv'YG+^ j~7H6X[w֨azmKiGM>1Y'@ޡ<6UlG>=ߧVShq<{+ 0.G>HZi*n0PvIrÃ/=Cd)MOW7ÈO?9B)СXaR4T|0 @v|k΃/S^{.3T+ 8V T4Zc2u\]ktQ *T նm|{=d8Td>mTV٪` /zTݠFǽPsP"a~DJ| \BI?'5~"iDն{>I<77LZiVKd |[y}NU')WV IB}iR=[ߑ UwsvKl]6 W j)'QDtxEH<;0 |;`F+#]sn/RΛAy 8ktb [iF״qAj׌UQ((GTH{#<] ,yU9@k$EώbI3:#=f.K;guGy-ȫ\r1Q@'(f$棻X o ܎CkZaܸҲo)?F>ىzJ/Nq Av Y?r 1[ˑ9;G30Fd,@y+AK`I} Xs GKkaH~g+Ak>fw =da`e8~UzZrα XHHYqP3؋MD5_}xBZ#Xb=V*{#p<’iT)*ye<r,,A~Ń|aߔ"0=JԞ@*oo\=^bu@E ~n^jɜ.v*V! '|gh:}eީ؋(\ 5*V124c[VAYXtAjs74[2.eSמ?1peG6>cd(ppKI^wt Ul염8:9UZ6|<Km5H`|ޯ0-~Lm;fǨ,l2]<9"c-+4NoeHunn)fcE4(C؉A!?1k6y4^/rtz('y'=FqBb*eU1-f8)[/ [Nq;F۵_#._@rm%ߴ "04B) eޚˤ#_ܧI?yBYF`5!i-' }f~KKJ&Ssā&=}PNjv6{F\I?F#(6Xoaems $Mh+ ?xm)J/1%^< $F/s]V8썔]3\ѬVerMT X~rQ Ӎdjûzs%rx$פ#|gYZ7zXZִF! b]ŗXi%s I15 %^/Jଖ*' 岆hz"KoI%>-Y?rИG~3/ v]3)# }[Jx?LJ:>0;hK!_-;$2T ?c6vXӏ'1вwτ&*`S/&YɄ4:%YBj`z~&1ݤf{ Xbx;pTk`Y#JS"2H`j w)x 0vϱ5)[3o jd(mt:cwݢP)Rjٗ_O ?h e~?nI }}n{%R~PԈkE qE:>}j=eWMlTyZj ƃ&hy5WR_IWnBdz#;J mj]z$ TLn$y$=ٰb6#4`eVn@]< _ۺKwgMz? ܔ}\^"WR2%;cVw$S~ }(7}-jհ0]l d0^]>,޾):_&:6 ?6q8$!PbZ(~sZTr ]=Qy q|<])M]|έ{'ҹI9R)AP L!wp|eX/8?ЙR}tBwI5V:#J{l -`>Ԃ.7*"a2+k[ۂU4+`ζb"[zG]KṚxP7*<G?XPb/bW;񂗋x͆ԯ _uZHmݾC{x vSjYCS^.Uʭ!ZNBЅ(}"Q*hvI )K;1LH79%If$0#U왬;bh{CYxEzyRJѧJ^kON a,(b9QtGDw>ӆ<60rsj5{J8ꇌL7K҄+Mk֫f _l=};ʬLm\b_Iէ96pJp|_*Qx)^ĖH8iB j$z"1F`ԚY>!jLI`z=.*k7Q2q,_  1NѱgYZ0012dfd3e886640dfcf2523b5dcff829a64d5363 0d4ca91b60be9500c90aee83710a5c32b25701d8 1a7e79d45868f2511c1360a7061092c3726fe930 4465ccd5b4a4a9c97df21605afa11aa4252017cc 707f7081877423ffbac6d7d75ee7625d5f888056 776a7603b7735c5547ce2f4f9d30bce956adf76c 7e34b8dd8242e8f3e5a2c3c8043822a752a91cb2 8b3f99e8a85c8773c685eabb3fa2c5b88ab13269 8d413ec5196fa7479220c95ac4f71bbac2b0d693 b176700549ee0f4c8e3f968ae19d18603871de0f c0e02d76b3c21f3b457fc7b084784cf6be553187 c6d33f696908642619028f80d5d7707602192bd8 cf9dfc2a8abd1e2b7e9f07c133b17c3f9f752bf49711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 49864562e8e54cd291c48e947679592174f2f35d