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  l) L ]/]Stone_Algebras:threads=2elapsed=63.054cpu=97.532gc=3.432factor=1.557zXZִF! <F]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmV=N!~#SXSLPkԗw2@ 5.2LfLFZ피Bnx^XkPi៖W`0,XM-'z6xNf&jQeD;/~bh(*ZKsmCPJK/߮i eFM0tCU06-+ӜoOҳ9/?).)Lߺi, X`H'IcT,fiٻcHұ$x`Mӑlނ"fx@Mmr3 zu*КdaKM%5s .-_;犏 WJ"ZS]& ARd,&JLuBO,3[nv֊:Oc#x #k09_3T@-oU"5%3''ڋ /b4">ҕ$]1r/2.W˿8iuc;׬p5bg h07 <S`G4"`Dn"0zJe}ak~yI dOO_~2˪If#L#>B|D[W1C8=TyD1%9Ã1MdiJUI+w=Rܪq-gʇ{m9HucX2Ra : M34|!(zDV=v|T0x=/^Rkžn:|Dyyψ'$=uPm4 EEW7By@1MH瘡YmGmLɻLu`Y[}p()$f^n@v-(eu!y;S|/#!^wW!h> CDc6& NJ(M3(nЇ|Ϧ@O <[,@)a7l̳xIO7Ga}"*moRRn/q`ڴV~MµYXött%ieXH.u6\F_e|Kx -ol ) Stone_AlgebrasQJj?h &x›W%\W8.SVS+uѦ4i0/=YoJ2 '; HJ\0'D].z4H},T mY Yͽ&)/ULД6 a[ۏ8rkaJO|[XQ7r `}O6b"!~r1UmB6zOFJOn#e0^d#9叠FhD2ߒ+z0<2Zp4%,Vabvb \6:@#$_YOaQR2Q"ozh 2j#ÒtbfD5 09v;[#v`D 7ƟJs>|[`WMŒ<_*(1wZVV |aaCb9%cLܖkk{lxA==ת QgO2xhAC۶DlDW0aB5>I 8,1:駒.ZΖvC4Єnw63Shj65@2<6C|܈e2`dN$y2o148yֻCsFqŻsӍQq.bm6Պ)ɢyn2XwW؟k@^ k dҏQk< ~C ȀgY4‘}JPqRa<^9]'jy|| *e~c늴 QHBg l`V8Cnrk{Wi)")2m;.N~ADUB6&~z`*7/]Uj_%PtKؤuNk\JkJ%)Ӕ"yc:6w{~.XB flޚa# ͐ 9/?hyvQ՝r(}X0hg|r3>/ r饐h, >ڽ:樴rvqw ɺ\!yP%)f;*xm>nH_f^bFﰴًM;PHZuvCWSx$l~:ѿ=%|5)vgO! UAN< 5stvN *OJl olȰ]xvGd^!/xs[j=qQXmn8 DiߓAmNP`ogxfe]#\Q+?ᯠ<7S&tWl( \ >}p.u)fk=:.q{dWBΣ+ CURNH*(vNWhVO jYqo W8PV8-2c 0C1q)LQ(xb4~>"HU}*Lh[*oQ^^3 ZN%mfPZ˒W%髉!]OC$\ABDsL [h˥c. ~mul pI+.ʱzxwa~%*:? ~^f\G'=.-q/Sޓsgh^sYG .MXĉLR7F n@;jV,+W@M&޴0 q?nvQqiƧ#!* Q\ߘcHߛc#MCfO*lK}Ŷǭ)kbGpDbݐ\(Ko/nGU8k#H1}0yJyk:|.۪zLyM%3RvaMA& nz'alО2Řg.Io,yģ {SOi%ғ1Wi?nzz&u N İC^?`%Zo9xOpzi6~!/h,kA c'8%gYZ647e16b0f4d65804151712448d6585a12cc11bae02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad9512033dea5eeb65390b542a18ba2b2da8d4da0dfca