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 66G TD, ]/]HOLCF:threads=6elapsed=12.711cpu=40.512gc=2.596factor=3.197zXZִF! @]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{6)eF"ߌzTv9JH\d)1MFX&?nbt+Yܿ{ô~<=3XEs1ؽLN:=aH̓{Т8+4,PYκ)40!WMs0ea:W*d]\tU YRB 1Y `EzUB(ԫ@ Ub(S۪G?am' c0kZ6}ze\j2ҳB±gYZ7zXZִF! Y]ŗXiɟ>Ӈɇ9S2] uZ~sm)9Qrܚ**/+mI|`$~diDS+:q_aI5aDǖW &y2/(J]y`MIڮкIh-Kqi()bul"kMDZ  r&ݪUC$s9CW: g o5NPG9*0H8 o*Gߴ2 dV4W .#٭m' ^-^jGUpLGmbٍRm:Ov0髄m d]Sئk{+3jΔem6>MW\M7M)Hd{d͑*qz:$SQBbl)m/)j $q5&]Tn`[dlu,?u吪ܪ ގ .3 pGʪ?) 2VИ`A3 _,^9 H-8#>r8Qư*nQFa[ s* ]gYZ29b1acbd828741e05ffe0cfeedfd645f19b53adf174cc62824810fb30472fdb32ee1776d48cb238c fafe655213a5e9886fd032ac78bb3ac5809b55e3672749b75d951882b4a5090926a07b98f5b47e29  HOLCF