SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  T\ ]/]HOL-Word:threads=6elapsed=8.718cpu=40.132gc=1.456factor=4.607zXZִF! ]ŗXf1-q恈e*[#M?Hfaw :+LvsZ#DK >3]HX"Sv-6wI] j9ڛ^4]aKBc~|eIb)K9B.bK#ʙxm;v'1ΒLlLRpQ6Ƿw쪖076scAMw=I0sO70N1hfǓTٯ%6J3nAQ|Z uœ) >e2˓h}X2.>)@ε!uQI#_T. ҲŽNkJsW[0 Ǣ r-_ĘCL|*.ICO‭إKxTb'0ޡBAAF?"TZ ܠHJFjQfx؛9'>cIvF㗣OcE:64BCcMIwEBdA;˓He$2eNh.pTSqD4j },&nk4״KAdzt"QބHhn4b>M^F LKZ{jv[m]xc\fkZ0NUQo IqL> {m~^"bj 3%6KKgYZ7zXZִF! *]ŗXi%6*Y5/`ԏb='9;}[̋_~^]:vQB̢ L6cz>%d!~4([a0Q$p3:CH滇`=I+"y};/KED`yT3GKK􊈗 o=:olDaLuW/<#ND3wPG|~-?R#"I"̼h嬜R]hհQ;UˆЃdіfc>~# (7uF("V 5=|nDWMV+[+F=* 묬 0D$J[R!ypkۆǂZY),SV}ChzYpEX(_?Ji'/ө&ɥϞ IVA74ٟnq U~9 e wy2v}{LVӂ