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  ;D4 ]/ HOL-IOA:threads=2elapsed=2.718cpu=3.948gc=0.152factor=1.457zXZִF! y]ŗXf1-q恈`Di۩Nnf|17с% d){w(_!㟬/ǡ$8J,iClɏ00#ƬXr13^-gYZ7zXZִF! []ŗXiɟ1řGtHʘ뤑a+6-S6ܫ 6  Z_WnM((ߒeNHrYA}pH 9Rw{ñgYZ7zXZִF! ]ŗXi%;@to޲: A=ٳg/ܩ Iq$w.Mrʿa"}qkM9M+*'594G/r('۬葜{{/>8c *FVQ_zhksNv2O)ŀT!4It 23ή?_+&"!:rJ׵KLd=4j4*Y`W{[aF8i^n_蝡w5i%&5QxĠ3Hn_`?i|мS *owIc+b8ss$َ gYZb251c6141ea7262ca5eb342bd90c8fe68942fa4998dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d   HOL-IOA