SQLite format 3 @ .
B B h77otableisabelle_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
e1,, ]
HOL-Corec_Examples:threads=6elapsed=159.184cpu=475.064gc=60.724factor=2.987zXZ ִF ! ~ ] ŗXf1-q恈aΕB\qS_
%caGtd_ r{ˌCfI0Ub=zTO$o#?W`& M$nLb]%
vE3NBbYɮD
+e#Fp2';OT͙t2\Z8@
Ăg`Ӡ+o*3Wh'grIj2{1yjL~gH]qUʊ+
)@/0\ĉ ≊ h" 5ԯNZ; * g+4FP#l}iBwoJ1@Ɇ5CI%e^8N0Q@7bɉG{s ï:F%{`ť5kzУmNKfO:ShRff:ƴdM/Hh8ZkVTNގD(4;(C$