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  y#4 ]S HOLCF-FOCUS:threads=2elapsed=3.929cpu=7.724gc=0.272factor=1.977zXZִF! ]ŗXf1-qNezGh)=|"*Av)ǧuyf fj35_|2:,MEZ"PgR/"L)rTj4O`гM+%{WSbm^XQwƂ^:I|3 } ZRgYZ7zXZִF! ]ŗXiɟ>Ӈ~{?@& tu|= ;%>K'^]f,\3vYu<ѺɊk!6>Y9?eN}UdM_{>[ɘ˱gYZ7zXZִF! C]ŗXi%;sOpBz4/B7 IPVnJ3$ټt{@UQ-++)pt'aBjS.6W/qH=d5DZ+Y>病l V Jc'.¹G*w[L[W^ne~2 UF ZXQjƚ޸54h'RsO$~"oRژ}{$hmXd~ _n^z O[j#N/|XPTE]f9ڋ=E JE,XV_$2MY\ـd\mVw0 7"_rΔ?+:.R 睳 XHf8.6|8ADXa9x@^ $$_-[*J NR[{m2Y"siJc6-\sL 4^'%*1I mvVFi.aIUOf#[?#/-XxM* o%0Pݧ JˣO}Ĩ@W ryEd%5;gYZf57502ef6b56d7d96f2db0a75d5ce017c555d8855854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293 2d62e87539fc2056c7097dc39e30a573e3bdfece 3485c0874cdc40603f82a57a3b4d92c22c9e7318 # HOLCF-FOCUS