SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 BB3) dT % HOLCF-Tutorial:threads=2elapsed=11.892cpu=15.732gc=0.468factor=1.327zXZִF! ]ŗXf1-qN0L%.u--W^3M,-pDF;l%_w}l }ϩzc;W1 ہm9|"z pxGNp/P~HF(5-#X8F-fuHiuI6*lg=@> 779+h‰ {;ZIap7H:0Xt֌ql{;s֕jaD0+ \p$8 ۮT Gi>"2`7#"DJu"M'c]ZBOƛBYtTV`Wם5µJ0{oO{hQjAzhC#RqIjG,nvKqL9 `m>9'tcGY-xϱgYZ7zXZִF! A]ŗXi%k= X]$ = !"l dq =Lj^ަ^ii ampLYZ r|UHxN]=>Q9^M4GQ3-p0Q B&ߍ@Y?IA${rDWlwczN5<O \0?2-eA5w>C*SxEMsAqpِI9煫oM3`jf=waaZM=j>LdX>]xҖd^M>@lR~y].x ) HOLCF-Tutorial\.9Ɇ\}ā'GYchX.x)S ^ Yx! 9f<( #}L܉m&*^q[aLg$~#-wAa+:ƭI|9_gP!Wّ_tz7oG)> |dFbgh5H}׍`Ljt~%X /VE(-1S+{F@;,o+l+? nHϥN GmWކf8hE-e)CPfy[B6sL6 QYgG,\rzE'#>MF)#p4kIp 㜹RDlQG52tdOsDtNUUX, e4/ؘ Z Y$/FkDcm.2٧A#{/-T3m8 lK!sX_ DkħDz O )Q|1h\Zk0oJTl]@f-lf`'LSo?jk5gYZ3b50a37e1aba44dc634f0b813ba065aa18b3ee91 6dd0e9dfa55d2d9c8dbdae32f124d724b1e05b62 97a2a51088acf3f46d2f67ea38cfcce93271e2dc c886ca46627467529639f5dcdb357d6ddd4616ca e041a4e11a01034660c17a38624dbe971d428e0dd2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c 344aa01d9faa7875a66779417da64d59809f65b5