SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  T T!5\$$ ]/ HOL-Record_Benchmark:threads=6elapsed=100.993cpu=180.784gc=13.436factor=1.797zXZִF! h]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\25 lGV-p\%cl44R):4ŋ'HgYZ7zXZִF! ]P]ŗXiɟ1_sB2 ( |Kln/h/g- hcÇ D}#@}_Bs`LF4(l^se}YZ7zXZִF! .I]ŗXi%>mI.zPVh}DpET6nɈ` )(;L)u WL11!D UbY= g *7RM;Hft9mM3o0_gw-{G '1ĸ~k!%:*sd!uFS.M߻J$j LJ6qLDsݕy68881W"⺵zfS"kgQ MnAi[_@_td0i5XАd;6s+EjXav.'w=P]GGO@Ƌ7"Gs*- HspZXMR~HWɺ@$3a$|;%J"_tXkM<~٧ m8ӡ;½.Ώ;NCY7#> EK];C$ZY +<91 l3{a+:x4ɡsY|˞r6+֖$pI{\h~b{f>s$M(dXd;gy ߶Z SmZq^XE /.QmJߣr*:">'*=WwǀP`pɵH%yDUoSg6)Ps1wܢU[ ͯ,X|б4.v헦&G9}oF _Z򊲸s bݫP>pͮBs"UTzi GʑTcz)\}cB]d@{63&ĄT#UZnvAؓ9R^) =M:B~ѯQ#0QcjOB= ^СO&9.Ԭٕ)XR9I)>=O%;՛3!.GV3ʨo>g BK@B;Si3g{34 W&HyYy=>)T=\D|ɶ1 ~~{:ߵ pMTTdTppo 7߲Q!IXdފ`}%0Oo] $:CZ@{ѷU( ejVw^d"7d.wP>50CRlCI\d8 sQV^5ڼ:c5-G g40Y찹gqLۜ]zif]ߺ-;2n]~uȰ=Ds^TUޗb8I% "~kO^ QgO%P8COOӼ=jwɇVGps|_+ %'b?_4w t]}ȏ0-}"0ܰp+n @l`F)uHCoWL{Fbtу!얒|bABGףH-OWa+u 5ԟp2ҩ& ϦWĹux' l)ެ~5bP ";ٱ6ro~q}`%8Q"Le1׿"hwn5]H" 'j/bHͰgc n^Jɖb^ѥpV4&(#ƄD@Lip/l RzMT"4^-ݾ_@'Xh<7J`_>3Φc4BjYQ.2Zm e4Y<QAڃӥ(F v(PVTA_iwNN_Q.R/^;). {Pjim8g(q5N W k)>b]*DK Bv^ǯ@/]?u'G;`EAQ)Р/Cs"$FD8dGT YmNȦϞkA>ؚCc|#R*?IM1}/24RG1QJIVЫf9g{٘I4;unD-4M0墲  ۢfk "'4֧:^D"- QCA_!E( o׷4gS!**E&v+(85\ j%|uqY&ƦmjLښoPA0s"B1OhfR{2ʤI ;ԢWṹI ì$Wbb=*a+= n QlI2Ԥxf6Fn"J0bk#qCk#*D͍G3 GNXPLLUq :y7 ݨT&OD}Y4l4r?H~zv"& B6~`:a'9ǖyG#gŪ4dvOcY 6mLka;JT1LR;OJR[n pۼpIN_| Tv^zq `5|@;shD,8/*@5q.?,.vT֧׍QoI~k 34c5b \`pHXTV}glQss[FE'G0Q|c#dc%6ÇI([?TZP{} G7&m+T~%pW_KKfO.'u NZF~8N-,Rф gYZ6e10b97132de27b47f2bc3716c34215b476e21adf446f03595bcdb30e30624659ca93892e4038ac3 d314e9ddc2049cadadddb9589ed87cff70c95a7e