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  M M(' D$ _ Myhill-Nerode:threads=2elapsed=39.736cpu=61.936gc=2.700factor=1.567zXZִF! (]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++hI$Jl0JAڦ::-{SfS;yG!5O9㨕(;67tij&Lڂ&1ԑ個︤f5_ϡkc"mQs:O0WI~Tz'XUjH-i: $O'ﴞ%PSD黔sߊwIBN{V7/з5ULDqQ`+<3eDdN:c0@3N4r3ujA:II'w~m)B/ ;o3GOظg`uCpu'}hyEٲvUJ{]1<0_y:tfxSDm s z9dҨE35 :fAb4 *(wa#e96- EDwӧq  ' Myhill-Nerode+8أh{W "4/Gle n&J`"Lip*#Wk`})!."НWXs1F0{fCM-cOst50ye٨'z:i{FwNcFFbAJ+/foM0nGwzj> F*e$>d_IVD]E m^׍8di _tâGfL6(} Wed뻜T!.%ןJV6^xH܊_O|vvctcR)md@5Q x1 G+0zyDuUAo)0缙A{cBG8LPTRV8ȫQ=-pq`Z._%儻gEEU?P`֣u.ddXMQhF]le-:P)K4yF9s᯴FcF l"`J͔hoVrHg):KeS"ԍ[rnۇqéIj%O"l$ۺr.vzʋ:L(=v LYTI\hGt=MdUKͲC߅rBo"H6oؒ$4طQWE%OYOSPhgd1 i"{x9599nP^_` .Aqd[~۔0 v. ix J}s vGXqPH p z(c.&*{цшaKV$69S`$jÄ vzԒzt.tZ3F<-ecu!ڳ:bIt3/BIɆ#~RUQԡ",.W"^2TIν /L.npG9<