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 RR#) DT % HOLCF-Tutorial:threads=2elapsed=12.153cpu=15.976gc=0.480factor=1.317zXZִF! l]ŗXf1-qN0L%.u--W^3M,-pDF;l%Utgs4d}_GPONҔ4W}׋Gjq!,`q5IgJ"N_֑+hc*<ª =.|SR!ݍO{IlNmpttOyꮭcuF#*+Bas89 V&m4ٍ UoY2|F ) HOLCF-Tutorial;{섈$jj~YXz;Y& R(s=Y#8Y n?H)w5'VvMK(x܉ށE|ZpD:pX8׵l^eOR_uv^= 4ӱUȠiA">$9' 5 $!ơ:ǑYxڨLY3k$ R6*ư_Xә^{f7ǚ k@B-ZaTYM0!/#j(~bZwͳܐbodu8rV&n j+gߘȆ :8._}u x=mEԦ Ȥ%?~@ЯrV.A޸:!VӇ/δS2r ]_$ۊWA'ow[8nŹE\r,"kߌ_%}P2Ss`vKPhuxWZCPCkֹ3/p} e/ pqh]+lla%%FկhlM;TWP(Nnav#a6]d [Kigb68mTLܚ<9pgV0.8#FF w}q@KѱgYZ3b50a37e1aba44dc634f0b813ba065aa18b3ee91 6dd0e9dfa55d2d9c8dbdae32f124d724b1e05b62 97a2a51088acf3f46d2f67ea38cfcce93271e2dc c886ca46627467529639f5dcdb357d6ddd4616ca e041a4e11a01034660c17a38624dbe971d428e0d30107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 955cac15b06dca9509d7874f3fcc9889a2391d09