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
mdD\ ]
HOL-Bali:threads=6elapsed=60.960cpu=203.148gc=10.612factor=3.337zXZ ִF ! G)] ŗXf1-q恈73w@9!Ӳ)
F|b4@'n拏PC5^;*#
\FG>D*_QUW%J:9ǰNxaq;fya_6e }9u
2K$}+Kn?+y|0E`. pIkvHMjIɽATpc E
sqfuQfU`&+<yB9*q3%?kԕ)b*Kg.tr:bV=/@]zJhƌ5_-
Ek_"D8Pr~p??*Ţ{ò/d7iJ;[ŧQs{1U:gBn-۸YD*Ͷ8XJ7*E1/0Onk4_`+{M&O|9/ Y<{&lev¶Bl""(/kM< C=̈́zTt,;!D;L`Z93E*|auOR"ve՚#O>W;\֠"Qt1.w{qxb'
_w0lG%c@wUYQ+K,/ -zЂy$w5ƀN|)(H +psP]aST$Ĩ&dp.Wol\`䙡0s\"{m ,Pߵh<"^P