SQLite format 3@ .  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 g L ]/]HOLCF:threads=6elapsed=12.659cpu=39.920gc=2.492factor=3.157zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V@fM:P_g Ԯn3fA V`-%Ffu9~LBv%JB]_Y*>}NYneza礕)$X؈Yc&V\g+nK&,}XJ]-$_1:l̽^}eۑ" nOa=P!f<wW@t= eW#"^EPJ-.2앏hߌ%i gYZ7zXZִF! _]ŗXiɟ>Ӈɇ9S2]mUOia w(vW)4Koh7@ *ӣ*ՃSn m-W?TGpn!sMp2zX`0 Լ v8t<^!bpRz??AFyX7(kFMv0fُߺw6u> Fŝ# `Fld}1fnRspG^=y0o4u#!v p G uz VH9yX󿢗N|#!D4(ߪSH2)# JQ!9I Mҁ:b4Р `0>_ּYZDk>XZ9NHmI`@K-ѓEd96c.VxP֮%exd1(( q7 1D/aY1eb薖5bNGǟ4GS>3̗t쌁WDnvC&d~w?lYڒɥ&i5B;G;qrcY).:Bi@\O7( 9ւN4 vK=gYZ7zXZִF! F]ŗXi%Bi)4|w$akl‡ >a[knۭR8>YEF!Z"'8\)̾&xz_+VmW;Mm⇪QtmJ6A ̿#ӅS ׼o9x\L6MSRfb< P0uBIJz}eC?d< ۇ4νEN) ЩhdRGʃKңXT^޵ܖ1Խd>1kSŹ1+QA/RcWfBAdTP ?j&T;g1~!t3fK)$)/ j Tb /W)%(_|McIM<w CKb9 r7cij ]*B}JS Jx޻ Qx葇~9nYI 3S ̍u(Ω]3Ԉ.tgX3KH,_h3*TK:ƣ&,Ag95\<ԬO7zLx# _ f^s> KSqJQ|޵߹0/כhz$ YY8+!A/$<k0 p`6nw1!!pPE~o6/:S@\QU?Cz;tEXUwc! o)5ai `I9ڠȧqs\H+"ݺ ˷S]< c$I4Npvx=?> O U>gYZff9adf4a071a301ac17f5692b3d3c18033bbed2d2de776be54086cd6f5d576144c34608108120821 ee9cea67cd24ab19209e832e4527fa2462c7f652c608f76a6f9d90a1cc2ad7873493e77553d344a3  HOLCF