SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  v v tt ]S HOLCF-ex:threads=2elapsed=5.848cpu=11.084gc=0.256factor=1.907zXZִF! G]ŗXf1-qNe+A]}q#=P vUΌeppoRD֫- nuTWR5JuO &E-?2A["͚9M#I(Qw)c#gUb=q4zeSEm!5c5]ҵhi-:9:ϬgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4e3&f8)foɗjoi ]w^b<\Eۆ_nի1UnzŨz/$U>bհj?4YQ+ą]G|Bij|7)ٮQ깖61 ڿf7Kh'ux+ߺxPi]Kt#@۶|_% .V~9αgYZ7zXZִF! ]ŗXi%;3ZN%':Sz?g\%UVZ4 MK B<\gî$! K? aGHsAZ)\lebqF U'1MqiXkx9H4QGdDI&yd10BpL.H/tBXFN1X؎_Ma rݬ#^5w:^V]7b``]{mhݗd4wsW|*jH,uFV r-[T8 rT{B6LO2 >;dY߮}BԻ8*ˢ6yAoxÁa)\afXo¡A!eENYIn>т}?4vKNq%-H:ڞݢM&sjdaBgik?EjVZ{* 5׸1wMmTv _+#*H?S]xD7:L9 ] :k w[o#n&I\;18JmTXD_1H3h9 9@rKnT^I 4eu:d.:B\yO@֫d9 ?5gYZ6b605656ac8a1d632bdda3a665eb30475e36562c61532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 670ca3b0c6f16e44de7227000c0ef63afe050894 ab7e303c2b4c2a36c0d885d3ac8316311f217f3e   HOLCF-ex