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  $ $Q5\$ ]/ HOL-Record_Benchmark:threads=6elapsed=101.107cpu=179.332gc=11.628factor=1.777zXZִF! h]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24QUQ:JWhмAO)wI7'HgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h/g-clɐ1ڜvV@(ZaUk^{\*}YZ7zXZִF! |]ŗXi%> +e 7l! BB 45rŒo Qp=piaװs~ ,Ϡ|CluWe qOa-+Α@O^UI (sùDYBlB>Z`eG[#uFxOvs=dۮr5>:W{+U jeḀ=f 7]10n*F,6$5v] 5 HOL-Record_Benchmark  uGq>Gl`hU7׆Ri;>?Ts5¹#/lXap*uvaNîƺUR}~n:1jUx5[ݻG)yfhD[9)K"$Z3w'{ⷜاd;3[Ѵ\G=/Ql#v+gXU}rXE0N`$Yjbt# X5/F$?6g߂ ck4 aah䥽m ^_&V(ݡgm.k͍SaaU4ZKd$%< <,d1gh[ķ7$1jJ{g #2<ʲ&暓Gɵ,عaZTHt~31;ΘCry-GʩgGȆ2WMI,S:iKP gվkۤ(iT$ '>ݵqƝ=~|î΍iN2-%2'pȞyI{`6ЧcB_U?CІFBMVίBgfj_ƱrP(28^ݳPPvY`e s}-AG]dM:T8DJ|==;9>P04&_cO-b0Asa}I~=B&~a= Ң Ҩ_]+c;W\_a= Zt4ȯ鎊JSPgz,а+6wQI6W<ֽQo-7tڲb-ٟde)sMjXצNwifAƶ5NC%%Ƭ)ȓVVPyӨ;,~C{-~K Du`${+ I&hZ8+bQSRd{##B[jIPm<#"OA MS?vW^Vo&u$?W  GQA~Ʒp]KFM$L;XuKN=LI +kҜ Àgȡ>7K~Giί dIpqgAG`j,3Y"<:oHMɸjYD4 2Ek,^/ {s;5Fp:u;-]!B᥋4-]U%ʇ ҉ bR6tUK5pNZj@P137rţۻxT2j BB>lOSN);EߧS$(d xPkOnޠv(g!7&+{oYG}qZs/,LLi[`4y .R5yEA7ǹHPNAeq)W%oF]N,eŋ1oXѫ.B2YV/~W:f'AG[.^ Rԥ#dCa +rZ4:O##:w; ;4A %ޥ1`gFY^Tk *"P5W>_wv Apu!hd \&M Ӷox]G]ໄgЗRaL])1W!V1k:_z=K=ý_4BdW7!6=⥙MAzg2"4aɍwr/mQ&Ç5yx^8 lǜH@)Y r&S"mcw#j9'ɘI>iۃm:9wG yKTAjT>͊A4[yg/ \([0gC9 am]j.H;L>oZpT9ы E*1ʞm*4$[ Cb"9{[ݭ4qi7d=^}Z>{صwȩا4xL+VAxi`[)YWz_4)`1jˍZMB}vEoE u£-ñ ˄|+ȼ,)\zyۤ>֘L(rkSt*䫕7 YY7^6"PkAղ2Þ(JIf B2mn/9\8"_닖@#r7,fN?6p44H\hTy SԀ4/Ry|@pL*:|\f1DŻN9FEG(_]Е`aH{ w4T/iʠ& !ՊKh0B}Z]v6'|2'h]쎩^1n+OW#yP,=鮰,El}^vgfޒq}vq`i,q(Dn8fٳl(Ϳ8)v![wH۽uIhUV VPvuqOh0YtİR elzaj9=w LٻĎ/S,cǡ/;!gYZe5d172380df111d0502050ef0a20bfcea9ad2939ec1fa52d7e9afb209e4092357e883ff03bdd4353 258dd0b2c6018904988ce9e16128dd8a4d0f1ba4