SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  << ]S IOA-NTP:threads=2elapsed=7.355cpu=13.932gc=0.744factor=1.897zXZִF! WW]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_n*1gn܌}X Bk߯_6hj5<c6G4r P{k%o~HTP.ٯDm11G> HP_4Ub=@T3&2$ M.Bۃ4 u0[5ٲDy^'A~ cpk 1EϞSyuVc==q Eqkg 㯂E"kcOK% UձgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(C0>p ˨ins}<dp(6K 'zp>Z fW?[qoP-NR5t>y*k#s+kgO6;8,"_c?##]^Ku(m=Dn\6эה}yK,Ipf WR89-{>uDgYZ7zXZִF! #]ŗXi%;ULZ]<CZ 6mVg&1>!q̔y2_V-`߱ K@d| eqq6ڰS+)o#1;\G%)yՀLY}| :3կ@ˢ܀?l<k[i]n&ъWV̢,IyO]}0_HOÃǝsZA҄_~I:1f]|S$XP& 1$7aՎVpщ:c kfUk#{86 +99