SQLite format 3 @ .;
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
I I 4+
,4| ]/
Strong_Security:threads=4elapsed=9.170cpu=31.096gc=1.168factor=3.397zXZ ִF ! X] ŗXf[&R
h V c?D:G=Cng Eg] xlf4Nؓ2j<9Fq ȴ3E6&Чh#5Ւv }.`&_Sdz+E2aWRð'
ՐFd ^ LrO<[
NsMm`bUMc? G9Bmʹd QR'8AY^!NtxPhR2_;kͼ(
oԀ8 >N
zF4'wP|V\́~n%z G 6&I% & v g YZ7zXZ ִF ! ] ŗXiɟWڱIY\u-Iv* #ok(R)9i #,,A"f֔E"&re ds}P _ 1aLPMsv<8MY?۔Hƻ=DiW[,&sH&iN]h"qY <.m>+ dAzZqXxkZ-U}
># l MuqBJc8Ɯ `߬9+Xtb.! M gg0g YZ7zXZ ִF ! Hx] ŗXi%L xe'˒N 1RbXL
&Yrp4~M*n߬ڼQrwnY;V
(#9/x 6{L(NK) ,sYWL4In%;A, `_|[V 9jآRq;kAlH*WHڰ4' Dyo<dh} $
p^+G7vN`?p 5;oqhޚc(F⻩$(ٲ<(i XΉX$^%s4Jlq^V3ŲL _)k;qWO +ל0dR*LQ';Zi9yU5-U^FHb3<~ſy :n=GGO -)w BTZ\DDOs&r+
Jsx1>