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  {9 jgk b#̷|̙'/XRMT.^1O񚹴5ɹņ|Vp"3 *?b@s SkŬ5}t韧{M̒}kh +a[6`T aGSf`G[vv tNz,ÀuV# +yx\ QL#E>QLq$0w)$Uo/î@`gYZd17a0dac5a3da0bf1b92e89dcd11b0f3c87124ee79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 f9e16bf7d89bb1c6af5f5be55934a4b363825ba5 9 Ordinals_and_Cardinals