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  D4l ]S IOA-NTP:threads=2elapsed=7.367cpu=13.112gc=0.648factor=1.787zXZִF! []ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_lgn܌}FajqBa {_d=2". *EuO,SVf"lty@(\ >k{&ٻG¬(^"@5@b:^6MNHF:q?hǃĝAi~Rr6Obd ߤ&&YY=SڨoׁIX5a#΍<@cT IZ'چ^pdBǎvj1CHwЂ c_leU`S8IJgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(ް0';MB`XV "Yf^ #tPEsWIu1mUxuk%DdND3 wnnB9o'ԝh'PEӘP縠)>#=gYZ7zXZִF! #%]ŗXi%9*WθJ RMUc- n8?i aK>W=8t)&NCCEu2~q["@V@e}. *leЋ|5liZZSk :2W\O!Jo/"xPF(UL3 -84gtИb|<߮ wIMaݙ <Bt{zNV8$: &GEVnm>| Uef9+k!!J)(3d{;߿g٦,؃2x;]5 jEyup7aۉʼn(cs]eHzjMDH0(\^znLS Bfd7U ڈs bQ]((5z on s}6Epj[RRϻDBW贍z+ZO"-3C{:f@{Qkwp[JҳUa{>9d~+Sjzߣhi})+# ePH@x'?"kCR3zf3H5.#axtfN`VBZ_TWz5L=p)J.I-*t G$%& !6*_'z:=#HDh0s@W>S^ȓ!a;* (j;08Nv9TqBI]CpvPO7\yFru$gYZ1fa78674a760307ec93da54f30882b3e21bc66fa1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a ff48b9fc79616b356889523312f0990ba7f74343 026ce028d86891e781db733b32fa5fe370b53943   IOA-NTP