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 A) D T ] HOLCF-Tutorial:threads=4elapsed=15.491cpu=19.952gc=0.484factor=1.297zXZִF! ]ŗXf1-qN0L%.u--W^3M,'_{W&|%h`Rp$v1bvHu3kv] Um2aTV`3z_k5Pnrw"Qxd1F#C=x]4Y {ښ?ZHBu!`Qϸ%e>{~@E] I_ YƩ.o^I59DZ8m,ͱgYZ7zXZִF! }]ŗXiɟ>ӇW2t5pXD[/dzmU跕=ԄJ A4,^vI4zzZ2xua,%<"l|q\|gYZ7zXZִF! f]ŗXi%B")%ƹC"M(L#^qu@o9D5u= @yg4B%^~P.qs# G]+H=xzԉ x2sA W4iԚilOt7[а5_@P`MEqHj': ^sMxz3X溘@Ia;M$<|9^a^V)L.!fB`IEG&7ca2ǺʂkZM[M( b ED@^@٭NQh KIǧy?1_>j)LrW][=W$ZT͔zE -kRIZ|g_PrlrKʋK|&cpXA{5!o..cRsIےƻx^D-mlֿ PBBvY=p|o0ɳUG??Y%5r^A@֓ .wݐ h_&[2KL4V*Y0CE Z:C vɹ[-m{oV@&@<%VO9|go8DY;b[vڱXVUSxP~*ڠ`]ꡨ 'AF{>{),`֜GAD`ʴ C"k܌6\%I5ԡc;-c'ǴrF|FTa\FNtǏg=j~Oy:H Q~?LC A)r 9ܲZs?'N=.ir)4r9BGp?c1% F&EXM5]!b!EUjGN?]2Һasp:9Kjl#9Nz pL>F6S@Q̧nJVdrADe B[X R`/bQ܍ګ~ oR B@7x<\@Ʋ :P$/%OlJ`ԬA!n) gWf|HiVBPwn n.Rc02x7j}_*{Y޳K69v>>F픱 Y*2 ,sMZ#sT:4` x33,05c ({ʷ:a߱<}s\R<"#l+n7T CvV̼ cƸI#%xeeMfFLMڣ |#3E3d4o"W vgnLW49|XyfN>Qb.exO$>!dA%~!T2ȝErPBA#Cz7k ڎW+ J:qj:XL`1f8{ 0㍱gYZa6c64d953499b19071e2f00b7fb7d68177cb6c4f3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 0d4ce8c77ff3d97b5819090ecf6b71d59442697f ) HOLCF-Tutorial