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  s9lt ] Card_Number_Partitions:threads=2elapsed=4.341cpu=8.292gc=0.148factor=1.917zXZִF! ]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}]۰3C$%"dMi 5ZhbP6Ԝeyiںjz7k(ʥhQzUDY gYZ7zXZִF! p]ŗXiɟy<C{ٞğ3 H&rAre"RT<]<bM?8@XMw)J/4/B?⻫f֮}@P -UL~˗mXSB~[3I|Ѳ wB*@kiDKNh͐{%z Pk *aks8 RWdd^{: 6 ͐$a'Dq͟)!T4gDM|8XN)Cv2pb1t*ڵ`UW\Ϥ}> S@7k%O֮Xme7ʇsޥN%;zDh02YԛQ{nqÈsLF_A(o7|e(k"X16G+(!e"=(-u枸~b3%AS a* )HnBQ͂m/${=gAzI>17QH}8]AziuОa󁐖'@W)Wrj`*?^><b gYZdcb8890010fa1c9f8a2c58d52a5b30ecbcaf38d5620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f 9 Card_Number_Partitions