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  ( (U#<, ]S HOLCF-FOCUS:threads=4elapsed=2.930cpu=9.004gc=0.176factor=3.077zXZִF! ]ŗXf1-qNezGh)=|"*Avpjcu)Ҷ=:^ $ŋjkT Rl2 u.h?e@-bHAE-gYZ7zXZִF! ]ŗXiɟ>Ӈ~{?A)X}|g3LAh̟ 17î \LGur9T֎{'~LQ ugX} :Ui?9~X!YV9l?70FJ0!폃pPgYZ7zXZִF! R]ŗXi%G,Q}w:/AvJǦ TV oyk&@ep3=޲eDJw_ J9!|;Z4ۍ0{%ݔ*4S&wwl?Zne[̐J "cDCi6dGl%MyfHD逌) ROo~gpxf(zֽձgc8Z`~&ƁFRFO[PY[f*]8>XE~cȑJcpY񤆡{K4KJZ11! + Ox8qƿd=cpR0ycs"8N}гp&p$gYZb6a1b8aed0fe1ff38167adee42fe1b16dcf1a7094e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 4bd6aedc7d04acbfa28755f154cbdc648e812c5e 62c5d4f312a36e4c9406fbb2349ef78232e6140c # HOLCF-FOCUS