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 y y g5L4 ]S HOL-Nominal-Examples:threads=6elapsed=251.282cpu=1076.680gc=117.516factor=4.287zXZ ִF ! Ϡ!] ŗXf1-q恈ބԍW_8Fa/G`|X&9N+!3N_WqB)K<9*û ָv)_h)cޚcͦZ!hvb"rAϨzr6=C ܛȳ91+'눡;kENcrGK\͵ݵaCVѳ?^F~>l٘((ŝx'/MMn͵PltNR%Vshb!ihE 'w^LP%k!iB^;S ;'*+M"7i܂.۰B_(E$rZGHEȫ--"[)RTk>=:=Fo]n~*j?Ax2urq~[ζLa)1|g9tvlGNWw; mIY=)MY0 8a'rt.kv~h"b+%.%YRDX_GccDZiqlJ6Hsze+祵ۯ2Je->=Ivu ӳw Jޔ2 br jJQ(i\C᪃zm7:"^aO w@p-P/ ;34.+' zDۅ5U)[Y%\)˒}Jjl^{u6% ۵f 5UvS؎;6WJ/SڐJx? tǣ%JP&[^ z)F7 ?T$@gyltSkdkDcbv\D+ܡ@ pw>/:nvVt? 5r$-ЖkC˙F]5qQLhBmhWI&\D00TƇaq,Zoĩy{|xuĘ bZ]sSc5650&BtվZat2QYoG!D6 _k^P
~PaERQ]T