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 00M) lL ] HOLCF-Tutorial:threads=4elapsed=15.025cpu=20.500gc=0.348factor=1.367zXZִF! -]ŗXf1-qN0L%.u--W^3M,'_{W&|%hBPJN=HIo#Fixڞ?26^9(oTPh-E;crGFM; Tt쨣у ^͇b C7.+@;Wu/J4Г5P#:]aJBQwN ]+iw= >?!8"Cv)+ۯus?oB"&S(7j5ڈs9 ow𖙇gYZ7zXZִF! {]ŗXiɟ>ӇW2t5pXD[/dzmC;.$?輦?=WL˒E FidBu{>&n+͉)jD -VFgYZ7zXZִF! f`]ŗXi%L SH &0(ų?2zՊ= "qu:$&ɰHҖ/"^+_ƌ3l dN;&$tWp=cuׄ,,Y'HA( 0v8"J6g-^w#]7%;fAaL]0K~ 9&mܨSgJmFYr9U|ce,)艳gԦ; 'v(EH$?ZejTޏŢش [Sk`];9]/NB|XW%QuU@Hdg0A XB99~K"(-_#n7Y-E͇  VK"p22L6\ਉj:;yGZqܨrEgU湓b_?US!?2 w?V[-=f}/ޕZC9ǒ_2fUlc}%D1Z[Du\1u-Pu2iFK63> CG7w ECj+[(sqX6*p0;c| G/%YgxU4!Q=%.}1Ep4CCMV=.گuL PBۯ ,Z69dd:[߈+3#uСl)O;!oEm}vP|6Ur99! ڿE>Ԉ-CU0qc;̈w6RxPJy#@aoI$CAeID+72pGӘպLpZ%D9isrh"|Q ~R1 yr )Q-@lk>ȍU#IVGxHu~ /" )k/L+/'UXvԸ$ W1U :K/љDwao&o}ʎo Ŷ(y,V_k XPA~?2(krup<}޸Y7ц0p(T%lRA>pM̜Be߉xKguIBޡwmNrtuC&#.S?X(}#7GbH$w܂ ⹸,ĝ0ilXۢ?KoqAU@3> !`Ol\@F/a~}LoP>Y 6n@H5u_wFmYpA5<+;QOzoqKB%eUXne `+VprTl>rAeqGrOWp{ !ޱgYZ8b7b7c3a16c92c39a06c8bcfd5d66380318f6987d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 ee58ad68a2d8abc3d25e6f08672dfb15b64788d1 ) HOLCF-Tutorial