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  dD S% Cartan_FP:threads=2elapsed=2.306cpu=4.148gc=0.100factor=1.807zXZִF! f]ŗXf1-/6vRZy_Î:|7^qˋ>OS,4uH4NJMNސ(\cMluj+]1<'0k*9IK)܊j0o .&}9c`1{ٵ"#W/O0Wj @.(0dRgYZ7zXZִF! ]ŗXi%6uJ?5̮KHk-}2e$^(F =G |=/ڍ>bϞO81 )eDFm>Sѧrk0Z™EEwD w$;n͞%Ƌt=&!S8,Õ-tQqrҜN31UkfxDyPO}r>V "'8 ݐPՎt¾* 30[:6fOȝKN򮶇cڜ`EMC*&%۹ytV d;`dzn0/e&|ty z;|ׁq:W+"lķuq0o)<缾gYZ7057753c2198f293e7c6203ebeba89e1627dc079 ca1286a1e0a47715277580ab35389f0077a71e70 f4f45ce2c3a2bf9c0ba22e59d1bfbc012e348e2f f731dc2c105e227e07d4b3192c213fe54f0b7697e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 81c60aa8bc9ec45606136020e3096419ab0aad37   Cartan_FP