SQLite format 3@ . YYQ77Atableisabelle_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, "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 n , ]]HOLCF:threads=6elapsed=13.529cpu=32.852gc=1.684factor=2.437zXZִF! O]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&H&>VҪF4/Gc%<ٿ!!*fө\yoHҺ 85ϭ萜1mrQDU*!`ރTA:Q<"6G|*EELv=0nFLaV񹽵NӶg_.?&7LXscQΊd(YN H6lPie@,DÔ _0[ 3WfxÀ/3;|{!p95XEsUcbZaE]6ЏZ\DJ@6 Bg!Za0B#qWƱQYQ|\urdG?KV|BoVlpmu,Ԇ&lU ï5:\4 kR-MUv&9N$^ !oW@%-Rgm[{$dmzЫ/ANݡ%{-=Q͔aLV4}d0pcTp O6gTP27YDHWNwHzYB7#^m,0P@u:bCL@Qi'bVヨ;0NY pHs&>\MÎ '`-FK{>\`1-MJ'.2 ZIʖ.esWa&p[,ۙ0p[MD켠Y<2 GqN.\!SSd&=BOff(ZG{!kqKJɯPnNČ; kUjFjܕF9 Bab* |$+uꑋR,h4nCձ6}.l 0yC^XEzd? ” "ˠ  aa}p-_bQLJy[ZễcSUoTIe.p +l~kLP#/ o&Sv&2U8MJ0Ve /Jn#6s_6Oghfcaj*'sd-SkiX=By X! m{ G؞Z^r9R6nP⓻ta/'jSN9-2) Ƕ @4|hC@so,?;@Gz9{b1hf ɮD6n0JpHH4ǡRFb/}}NJ|V)[a*0|uٿ ~h髱gYZ9a0c35386ea2305bfab4cbaafaf9cab1ed69f47cd45c74c3c975463d5aed11161e8ffd9a51437a45 4473f24c6908ad0badf5e15532763e307c56bd29 9a935d177eb52a94e4456ec4f5b63c99be8e2aa3fc03e3f36ab86c24875a3aa3b4cff89f4096dcfd  HOLCF