SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info R R #I\, c/ Abortable_Linearizable_Modules:threads=2elapsed=77.037cpu=119.588gc=4.104factor=1.557zXZ ִF ! f] ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Y8eV`51@VBF0;W-?M¿ d V 6`l /47y~ \D㻅ͦȉ AeZE&x&T@h֭nךG:7ƭ蒮s#Nl-*9,^3R:U#o1:-z${hvKBփ%š 7nL SӒOTY͜(nw^bG "$:;Brj>)&gRvLJy_mKLTr?PD(uFb 7PeYӈ3T9&ZhDak\5~*pY̏ܿ2e0V:RpjF>C?ٙ$+~,-lv`r<2[gX{Xu2jenHO0㱟lS~<L=U-0(mID,xN$9^%~جOpU7S>9o]|xJYBS]AXFCS=˕ހp$U5r'j\5%.>fqyF!DMl4#0lmӌacP#g
iuZ8mZ(3 UxMd*`v8kvFeV倴$A{ ]SZhFv>R[49(HS&4_Ꞁ?Oʸ3ç74mIϢ7"1*HmE(vkީ+H˿ޒm;ryɂ۹E:I[)}qw&m'hM6B "9oK/a?xn(|00;Q%B2jC0sX7MzN<