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
* * S- , | ]
IMP2_Binary_Heap:threads=4elapsed=11.708cpu=36.720gc=0.528factor=3.147zXZ ִF ! ] ŗXf[&[.
=bg7Jn.(Šrzɤ]?-[8{
2+Bh
KX[Q\VOHb:\Itr[pKYҋ9L]Khjn.(aqtUS#C95OBЬW+ؐ u56CN@ժd HƚqMv<8k hƯ>gTmTn
]:ᵐW#rp]kHG#PӴ2z4Q iawm
\ h # m(3g YZ7zXZ ִF ! V I] ŗXiɟȂ|\-wيs7'Ҝڑq9 d$0.#59i:5>I?x'E !C/S52YbբS1bbN7;py/z.5LCW8n!;Tg%>sR#3e~83ʊ |)Xj,wݍ̽;c%Lpۍt3l̾)9 g>dE<s%б_ys z_A/}j~}D`i jݱ~C p Ӳ9LT>Py
6p\ 3dm 禱g YZ113e078c972ce3014b6b70ff2ee90fb921006df8d3f90704504dab3f9fc94e3d143d1180eb260c4a
27638859d3581338a14773da3f5cd45c4e2a6773
7eac0de9138ed92785c39a8cc6cbadba7c2cd3b3
- IMP2_Binary_Heap