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  V, S% Cartan_FP:threads=2elapsed=2.222cpu=4.172gc=0.104factor=1.887zXZִF! ]ŗXf1-/6vRZy_Î:|7^qˋ>OS,4uH4NJ˧uԁ[@ZUD%1- fJXHn&/ H^ PV _L1O{˙z|.>b ŷa@< ³Ch(`dFaQ]f0/ʔR`WoC *\w.}(:~2wUWo8M3FRpUxjr*0RGiYQy\Pz(9ǣV{I1Dhƣ w`W'+Ŧkr#hSmܵ%]A|\0)*85e:(xG[ۙ8TsئG+ d9kSMΕ:P@=mQR-9ͨq0vR$wRB̈B?XYEx\+ӊ6r6Ozɯ X3]AtD]\O_v&^)`h6be/I4wE䔬:pp䟙~6)"(Ȏ1kҾ5yQ~7"2n]fH@#e kx* V{~% ^bgYZ7057753c2198f293e7c6203ebeba89e1627dc079 ca1286a1e0a47715277580ab35389f0077a71e70 f4f45ce2c3a2bf9c0ba22e59d1bfbc012e348e2f f731dc2c105e227e07d4b3192c213fe54f0b7697572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8 8b11d14c63847957f15ba20e9bf48211fb5fc1f4 dabd51cf4018e274df41b1d3b84c91f73c2cc6f6   Cartan_FP