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  d5\$, ]/ HOL-Record_Benchmark:threads=6elapsed=99.368cpu=178.896gc=13.616factor=1.807zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2^ γ ,7S^0k~˝ |xgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h/F.f^Ü\5C 쬻\S8T1⚚k^{\*}YZ7zXZִF! -]ŗXi%>oaV"SO_Su[rt-BH`m Pn@SV3NK* <@Tco$2`ђx؊vF*9SbN L^CHf<Mjua쭮1BM@m6πP(αky{8Y cJ[ g31R&Ih {ICDzXAgEsZ-Dt+Ey)qCw5g(߰ Yԭ,NVu'|EMVL)GbD*o>6Bi .mv~J,{;\jmg=: %&ڟxwY;v/'o/ Eܒ]rf|1f6lE8Mj̀FB/FrP A?±wVSTz%rݿux!uWsoj|: OVƷ3exye~z]Ċ@{q>3X`Ƈ<8(;wxnBᓹ# [}XS AJ6%79!vK:ylz ʊ# kv/vXd ƫC?CPhY6c5t5?G͚J9,B,R7.v +iߔ[zKyܩH5]!WkoÐG5ʭu!'^O-T_* dM}fcfj54=,J,Ȣgof9f׾`Sm;x&0)Z!K$pQ,}49|h}ͯq/&zW?0Se=;/ui6vg%-/=1Gogf{;BZpVY|aCq]}!jx̰)}ό83@@YOd8uf~LߚUKL %pXbYSǔsՏ=(3>}!ugՕI%)ͽ$smȞIw!}bw|bupCN[y5ߟj9X PKpu`CuZl2,o$ ]/U{Y&a/ӾaYZ8/ O.F<8D9{TaO@sdNqxTbS7" t'# 㹍1M6vg[64Xܔ,.>@E՛mg8Y &;-E6t$qLh[