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 ./TL4 ]S]HOL-Number_Theory:threads=6elapsed=59.870cpu=195.268gc=9.008factor=3.267zXZ ִF ! }] ŗXf1-q恈D='-/w)P5$WD,^D7+ nL͊ [@ij_)S*Z+p܄ `{uWMenU.}3vAwu%z =O f'UA{ffO$c":#\l|9pWdGtN0Kd#6ץnԏpk=gf"*0~/>{Ⱥ0rSLf6D=L(p."IgD[$/շ>fj'XKh0^:p|h:08g[v / HOL-Number_Theory 2QS[s- zmJppmMwG=qZ%"&NXs:KYoSn~ J$\u=S^W>h^<9ڴҬ$^qGΡ$R&t_ĢEê8Ƌ=[Yֶ A$K vws[LA*A*δTYKYغc-;ϖS#`dq)[f{;R**}sL;6I3e-.xLIc^|!یb.ĮQ.BQ0"I Vir)(
o7XX/ʈZG:& VjDdR VĴ ]{#)H-]Xgwtr!_(0w;)w =vޭξ9Nm{ˌM;Ҕ1iC