SQLite format 3@ .0:  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 -) L $ ] HOLCF-Tutorial:threads=4elapsed=17.293cpu=22.068gc=0.352factor=1.287zXZִF!  ]ŗXf1-qN0L%.u--W^3M,'_{W&|%h IOtC{yC/,ْiт(G%YiI)Z0kae?_OɤA䕕Ha5K{hx@Sz՟erWF3PN9m2F~klKxC4QAu]xnA W/qƚ&滋\6 z2{VoO[wۀ`eK~+xp lgYZ7zXZִF! }]ŗXiɟ>ӇW2t5pXD[/dzmVNGruЛiQ1?QSAz| J #c?{(*F/D[Դ3UdЯdq\|gYZ7zXZִF! tj]ŗXi%Eb⬗xz)Wuu ýJL =ndzyJf&īDOq]}۷RoEVf˺M_sX5MrO> gbR꟏1+IuyC>N+%ӣb'S)N"<٧t#fz;`S{; /N~b͛A3Y.V \7f6O$5f5" S~/$]_z|9̀`ձ%-!Ø7q8 ӖxMP gߙ3>ι Y gwa}O2io$rԏ.44y8g9T/o8zEF#lz~L#hwYyΦ֐#ԗBg J6j9kȣ+#zM69_AlJӰ;pO^DZ J SŒנH0^9Ĵ'̠#P"liUK]O8awKxRO qX'hQ,,^}j/:?fIR 7^'F WʦܣN1bNLTED oNl;JRRRF>#T.ljg~.h.}P9nC^P0$\ݞo_)ތm 4~!z:+h`*G{r.+XWPl=cL|_FM"lY8UdjHެ.[<т8-3]6,/#dz/?sh5HV\N*-I6G\X={SafLA/*߰+Z vBCAo+p_ iC`7Z,b]e7mu^4i 4 oad s>f<$ ҹTwrOㅭ_z*:BtY 3k ˱gYZ5c15e1ccbbbe6fb91ed32e0cee3ab356aae52be387d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 2865b5ebd0c8d8c5f4b933a88789241b9bda3317 ) HOLCF-Tutorial