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  4l ]/]HOLCF:threads=6elapsed=12.409cpu=35.708gc=2.044factor=2.887zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>Vه XL`J`%Q9~*sqg_T BF^8^j0 G. Th`LGB/ h0ϛEd;mPD84% ! [⬒>QQB9 pn'ArU&5hBO,FI7?~XBjoSɟ*sH̒ ]m)%z8VEUs w:rN$Ǹ 3JAE[x`:1"8\ xUb %_.TMZ4"Nhm%L΍S tZtNV;OD2޹4'߫CgE^g%ꞜwJhO:c*Xp[W+ ,"tW+dʢ0;YI`6%6¾7!RW_,OIS3bbŚ##]#?(󋮎z[  c"p-ГeUMtPd%(&ިk)$[AMzV ʿZAAtZn+J>3k\[1ժʹSŧ^$3S'(K$i*! #G gYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]mfЬG1S:_47IRڢ>/(c$S(b~@sؿ 8[좶E)pT9Moc:AYC9-̾c\WV1F,БfB5Kל9A/TDZ4>5_{Çu9l#SwWFЉy&C9n4J`r]\zjOIN|Fp'%eXA?+LLa1FݟvѦK.EkKu"{9 uc\q{׽61s7=PuoYWd*l5Yqz@$xIYDv*~tX9TuQ *Ay f Ehņ𒜖~bIaxmFP..9=]n<'ڀ#hVg 99 SZbnfB719hhH%5ζBB[.Yp%Q6 aп'y2LTtn+ɜly P:D݋|Ix(b2UO݀h^lB߬N }&j KS,M^ȣ:㧨>*UE:(* l8K)_)o#,jg&6D¸ki5{x1`}!0p: P,Lxrg"bw%XCEF~vkygYZ2bd9da9a8bc7ea3101e365282ddb119d2db2c5276ae1a84ef57c6bbf74a3f57a85a1826e7af5b405 b8ee4f468bb95a631fa62beebd399286b04c8e85565b8b3b7841760dc327faeb581994ef1ceae832  HOLCF