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 ') LT % HOLCF-Tutorial:threads=2elapsed=15.905cpu=20.416gc=0.556factor=1.287zXZ ) HOLCF-TutorialF! l]ŗXf1-qN0L%.u--W^3M,-pDF;lcs0.FhZO=I1eUM0VǤ.5mηuju$p^13\ SVJ#Z~B18YF4̡P'F)Gt]*B YCYr4e5:OY4r/k5}x dF\2o?:qZܷsJ nݖ9 w2esiX)Eo|֓L@Ssu5~cy ;*``%L x\qRCo41#Zr&󆔦IAiU7Ԗ[z7@L/^ /gYZ7zXZִF! Qd]ŗXi%B6D#̓s\^| u`{}˩)^?jl#AC,XW ? հ,b^YgPT8^梍B=c$|s- i4;y eS263ZeMJ^Awx'8?h`FF, lRϏ^XhcyEa+UZa'_ePp\fH 2Og&6oPl86 |X@KeNUS9KٌZ$wjϢb/\ 5HI9gx aDЦ< kS(|- p)<^*տ%XXfR]z^9 FFs{n3U Z͡ ʔJeE.]Vɗ &[H(6qveO. 5,%qam5 eN(.,w7(u ցm?|HD%K8J=ƥA/KI$8WSc8䀘6W܁zN=+Tu9N,m,78*B+ٳJ8?P ;F ƕ=D}M4IభC!n_:E,_H*Ho[I/\WL{N&R=)8Ėș! lE[Gf/iW(u~gQڹ:b@$lz3e~ESA1 PgYZ3b50a37e1aba44dc634f0b813ba065aa18b3ee91 400f13dd2c84f958d84f27b03ff5eec785718532 6dd0e9dfa55d2d9c8dbdae32f124d724b1e05b62 97a2a51088acf3f46d2f67ea38cfcce93271e2dc c886ca46627467529639f5dcdb357d6ddd4616ca0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 44190651e766f74bb3f25a3b29bbc1b367a82386