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   u# T d ]]HOL-Nominal:threads=2elapsed=7.362cpu=12.716gc=0.632factor=1.737zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯`ơhoM19Ujedo Ju0V.keV.DEjU80g ;O./׭aE.W?f+ƞRVQ%C?E.U`9MU cn ګF9,tU4DL-0tHа5> ^!gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ 4~]t@m=Uㆅ>pQI'\ӉX X`I'{J}YZ7zXZִF! "]ŗXi%9#H fO/P>,4VNƽ!~.{3P|IiaA!Ѣ ^&={nJ2k4t/'[lc Qx@F6oAn>8Fݔ5;jjr]iuC.hHw4w$珦vC]Hi8뛼;n5*AW䤂$D<`RZ^"@ak]@Nhq$]K6]Plbʰ,Xw'phzS T2c[셱dOr!3,kRҝ%C8C֎w4;:e Ec4%J,Q*g4J)OJ2Bp0U,M6CxufR2̆տ̘羸^:E*p:;, 5K`-DŽ '=o9В~9XK~aaX'J 5zw?=e:ќg+rhB{nvmN1C rX1@!z:@?id؂Ģ7lhо^bjOHlm)q*Kd0 1@n d$sڱB]}% qƻ `\geώp\Jcٯ&Br0~?_uYHf8o| QJ>7]PVjlctc-ŗShG튍wXE)AgYZ0a644e2e60588d156a40311888bfec24d67d08ff8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05ca47178463855e4f12aeb80911f2936d82538e856 # HOL-Nominal