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 W L$t ]/]HOLCF:threads=6elapsed=11.554cpu=36.464gc=1.644factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@02(3.T4X+(\cq{VAWEJvqvKhhnp{Z:C8Gil59u `OPdky5Ĭ -ur? >_:o˛ā1܎^r(wVQC&RUd68L%|>-]J.)&pÌ*dZ8E+1W"FLs!C Įjca&X:OOe (ߕm#HvA h1FYŔ\f%=vvH ,O 1U6I#>-plOc죧C}T?C[[.JF:ql_`Ƀ#^N/ fHcLM`{-WPgz+.Ķs`gv[%a[_ D4TVg;g%z W-)C,٘ђ8J\eX ۤ|)Ӿ–n-ƥgV K=QL][7oqױgYZ7zXZִF! I]ŗXiɟ>Ӈɇ9S2]XO}JI,k r_xXj pY|]ci'ΨN8Vl}ړQ!TZV_BLyx=]5n1f`:}UB l̇sˆZ},;mcO'+79YJIQҙmPP|fp\wNqA)p ?+pyQ_)uToxT泦H|=F+ʻ3Iyjws/F[E l˥u%qRbG]( ߢ@Oz;@4f{)ӯ;jnd2R|Ƣ`X7gmpBfَ;Jm9 DЁ6;7ﴴz 8a6xE 3kNF N57Ȃ]E06Ogʃ|| ɴ_~]gTMAV)<]eX0WKfӁ&(k1Lq`&TiqI?:-" !h`TU@W#~^Q\1tO8~GiI,1kp|u(p+Ň;6\.\`W$Z0ՕP6gb kz-N"%YGKm8.]@1!\zh󤼙k0Er Z|>E_DI8]>+BH=ti3ZK\"?2`K5g<)f*e+ $&ZG/ +UTϠ_aZjBnԕÑ\?c"8ƯrZ~Zb-saL;."܈4.>|Jcav-6t㌈[vjD}rݔ;2܃ 0YɃ"B|g5V2)(up%Ӟwu^ pe>z/QuZBt%Wq~F=2ey]71PaRuWE{p>Hm73 FF~tJL %0hJ֓: ۣAMf KP'Sq3*eeV, W埱gYZ5276fb1958e0aa3fa2e3a5db6dd81fabc055eaa7159773851650ac68d3c2cfe38c048d4c887c247c f1609948a6431f29c3e36d835a829345e7d4b3a1c1d670c2895d190fdcf91fb22628846688ee7a30  HOLCF