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 <<A) T D ] HOLCF-Tutorial:threads=8elapsed=12.736cpu=17.400gc=0.674factor=1.377zXZִF! !]ŗXf1-qN0L%.u--W^3M,'_{W&|%he`"8 ;ksF X0]ΰ-seG3Ȟޒ%kh`iF9O4#>xD+eUb#9؂nwvCyP${Nkƞ`/BUӋ/>(}I8%ҕ{hE;Ȇ]t ϋyyWGZGۨF$HtX1mYHiH6g맱gYZ7zXZִF! }]ŗXiɟ>ӇW2t5pXD[/dzmV4%\B~BKhDt説~&r)Aa%f'M6h Q`ٻRD>4xW2`p͍q\|gYZ7zXZִF! M[]ŗXi%>t{Um!ONmQ»=`4ҙ Nڷ&?EmKwH:E=Zoa8Df =o=ѵJH9!Ņ^ETNhQS_?} '|onB6쓠ǡKN#ЪMR$s+kUמUbz7?#TjZ'Ϲ<̹Kj[0({1֍ְ}647:"&4((B̓BީyHY3)d.Sc&+럇LnwcFlZp `O^n-4ZYp:$ǘ$HN@~QxfLw w:@`Û( j@6ZE?Ƴj|%ř8ii!'ľե Z2w{i1L[{S z*.TS:o)zt&BW)%*RB*S> t/) 9_](' oŠB!pGnË_@8 :5ccP'绕PHԿ}zsSELlQ<3U[LҍFu䴐/SbX֜d0xjrHIGY"[?'ۡR֢<܀L:_krR(M>hiAB#ʭm$~!nj6钼z1t:-KM_KFT5PqS_FE!P阏n>ÕamY.9k⧭ۋC+gB#~' p@_j5D(7W#񤻜r6 ]H2xd]-lo!BMz!ĖIU2Me2ys{bu lV2}׶N#yO.a-Vfu6=D rŹ` ^ V鸲"1Ke݄fdžćl}5 tǠ[*pg'SxӭqUlq5G8 Tm\% ?{;^)Z3lb>SBBORhT9?Zʟ|HJMVfjyfiIx)ݣJgYZff0ffcba85a69e33621f7c3cf07a7cdd662ba3e5c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 14157c1a3b8fbd74cb2f80b32216bc456b69f149 ) HOLCF-Tutorial