SQLite format 3 @ .K B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info =|$$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=289.997cpu=1394.524gc=66.9287zXZ ִF ! 9] ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J˜3S5bܲBxApq*t)}ЛKoibmO`js@E h`5k]XTޒmS)Eta9AONr|-]fu;4*hTf(2?tRB\;Y I[ƭg̹3TGV^H3y"/ig}|`. Աt%B+F!+ϛo{5 Q_UGkJ ʑKm Bٙ'F2Xvˏgwi.H'Rl?i_y6]_@C&=3]QL@ iĂ*D$-%*Lx:"7Uw%g*o58G߅g+/.*qQU`m ?<6A*n{:d&V`$04ߢ m_O + ˟8g YZ7zXZ ִF ! / ] ŗXiɟ1SeNk: ^7=Lb~CML/]@ج0a|9i% [yHRk`mS:!. 2j%n)SEayZ`2h |{G:UOcښ {[wcX&^%[$4Bq3(ڂv[ 4{ A S$g YZ7zXZ ִF ! 慼gI] ŗXi%ْF~tƗ-::2dNWC_T )(/ ɿ["GCӈ1|=DD>Vܧ4IR м3E6'(X 3dd)kG{S9Zp5A18L݈8Tbᦝ+ G=v֭dXB.GTJ"yJa5n;5o笭?rJpO"l?l5Y[WNJrϕ qIQYW<(WmeXUF0ѕx8b-ω\3₦7%cuzIiR{q&\FEid9 @x&);v5 8\dI֮ԁ1^G5Ϧg ѱOXjHtmad lג2XUj}M9AGjKcgEXüAɣ{;WLYhcxtS3>8bJJ+S3ZExj@pa'oA~ e1]\}~Kh_V(h"(P]uo%!֧tJ#xI=>{AmXq*
Vc.tzJ®P^)JT'i᠇^+G2
sD1 Tc<|Dt!bZuw{W$~d+/, kޅ
pVih~rgmt4wݻ~v\qvU%>˔PlM͆ѧWsI}6|{_MtOI
?9R uXIakóO,~`r/ Rfvm*r߭T0}V\&4*|DP"?X<-/$8\G
gz%BCM9XCnHu²eι2t<
U5cN3vn̅4mc+!ee.RWYXoFz`0Cz.WFXז҆K5-7G6i5Z&T8%C%k1 2XC%X15:^vf?9I"L-3;2&**G2)UE.+P'ptq1KGS"ю)KY t
]gI&_R_Lz}Mx%juJYT´=in^-Ǩnep1|&jMa"`ẁzZ152frRN+R*O1:W߲)U=):{o@}]6iX0cn\
l $iP ʛO+Hv4Bå"(ߪp^vAӎolUXt@Yvq,o^`_制ŕ
{F%^x%U&2f/:FĐ!Y Rq^dFHGvIN&=\ŨBޞ71A"R>jC&S+;ڌ1;= )5Po2v~6`'TQ؟א~T([p$.aTBm+p#t<.J)+J 6y,
8Ҁ 0aU&mD!raebx\jk/1
Y+Ls6PKnYH
a2=&-5ItPI :AWZV6sQo%Ιw)n