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
:7 T| ]%
HOL-Quotient_Examples:threads=6elapsed=28.025cpu=44.256gc=2.244factor=1.587zXZ ִF ! lc] ŗXf1- q恈N/|p~p%++ "yqL^
?Eu@LwA%V[32O>hΖd*{5JAĝ6
CNK{D>1j`p|o۞JSrf O=\͟j@Dc(U+:7l]І?$::-j,&IjLd_gLZ2YHBcC XJۉ x6r܈#B N(wwS LGO
@݁Z QRWF a[# ,8}͔i(0>6;5 |tP-IE9 &'~yq:+3bZQn`SY4H[z&1g/WjBD)؟[+N1ud < E
ͫʪSSֱ
tN`E# /oX!WIt2l=`] lY/^$ws[Bf{&7l)` &PJyf*v3mbF&}CDA
ի mH"0wj+/i#Kh|}[n.Q
lO .JYO -+P<)A;1 .im0]eS)< SO,߫~Ρs49L ˯gػ&}z>6vՈv[H p|Wd