SQLite format 3 @ .0:
B --?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
n/ l|l ]%
Pratt_Certificate:threads=4elapsed=10.103cpu=32.948gc=0.568factor=3.267zXZ ִF !
] ŗXf[& Z*R =$5EZ1~P6 l$=nC19hQYkY7TH
H
Z0~Az`Qw47~tB:ა3.j뵪96MK ? $.IE@IfCh]M` & DSjg YZ7zXZ ִF ! x] ŗXiɟIPDOB`7"AßgٺZ6@J
G /YEGetbӥ^k3x9.6)qe*b ɺ;`o%c} 26es G:g YZ7zXZ ִF ! N] ŗXi%G̉SKẘ_^Ӛ?<
֔"C ,#]L!k1H ɽy+FP4iV.Hw'_V ^T) qWtT@!D4+jL?IJ؎ =5Oo_APt5]|^2=0uaX|ɑ5I Dl$-.^Kڗ:Th':I9~hQ
S ȅԖL%¹}SkZc&`A
rޗQ0s1UsO73]}1bq iPKztM>z\=-۱Nݻ-{u&Њ"]l57vv O erR9m(ۋ_Ttf38mX?fx8l' l6~0[MW[>.S]fԐc
yenD5jBcO