SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  '
Dj&VtvY<\bˇJvYbUpe[ $QtgYZ7zXZִF! 9k]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v V Ȱp#hȠ5S?n>9:?N*ZқW1/\S\1Qvҿscragڌ)]*$u7B;œ7qw, '~<{ʦXQyl {_,-Q3F^A0@%_ oM+E} a0@Ґo*~*sXk8(ei!zEKh_k#<*lxv]i  /GmJEwBoÊҠ<3JV#PJ[ ,]ݢa8ϣxS1٦q8vKi?݃vHܛp#yBAžˠjR1_e-nvur<)9WESniT6]wp*63A4/耱&opx?mc]x!=:\TQObS a4O>/Ʉ 0iAX֬p}k磔R .bЕW)wy2.]EQ h`zWNHtHɰd>,4,V@ !cT#ZMw^( &n} q*`ϐ@PYw0.0֔cMl|"t gyNhpJ#y(דܧU `R}Wv@l z]א5gYZ66f328aca7b5e89528e908f29e483cff7f869d47ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe d2e87123518da864e1214201ac7c02e3ec9b024fd1af756890834aa9cf8cc3274d31bc269f600897 ' HOLCF-Library