SQLite format 3@ . BBh77otableisabelle_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  J J3 4d| ] HOLCF-IMP:threads=2elapsed=5.662cpu=10.740gc=0.556factor=1.907zXZִF! MQ]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSo2aLqπ$6<9MK;c*sW:n/:|Ȝ`3&Jxg_ w2nUY5MvSyjЧAv! y)Fя #hVdCAm:`< $8 kToʬI/UF}X{~~/R +0dpl'pEhӼ*LIrr3 MW Ѯ>{Yr-%eLB4)7>]_'hC;>ۭ{vCP>K1 2,} +jΕ5a.DNRdBxűgYZ7zXZִF! ']ŗXi%;c% )-Q¥&l6/'CD #BWFfRG~q[Z~X#Zz`m^i͌ P|^~HdơL,m@L ʂsp$3Ne."ȬpBlZ`]pqc f7?I!: tH߿b^+xC2M8S&r:O\]1Ψϖ'w|oG{Բm8j YhbTs[NsV뷓I)g%!P"LUG+[}F҃|eҦIԆffvS LVCoQ>nG<ׅVrtzv!m vZQ1h@Y[9/$#nF0:7j"S%p>K#\5At5t%DIȽWC4ꔓ U&I ܿNA +\q x3[|f?Y 'v.*198KSEmO;*gYZ3a4ab3615c31a322728cac7e2dd492b5c3227c5462b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 b4a9ebf2767f749f29e91b2100573c5beb56e6a9   HOLCF-IMP