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 b) dtl ]S]HOLCF-Nominal2:threads=2elapsed=16.652cpu=31.688gc=1.556factor=1.907zXZִF! i]ŗXf1-/6vRZZ,}ūG5m&:M+Ӫ[F0Y'X p~`_RA8`\EoNZ?BLBaP qwJ~qS)6##dCWnLrRNoDd" !/Fl]]7:!xﺍx#}Y.\Mo1/!-o-xSJ{Ži4/V'*+Xܲu`E׀?y8l){ \*mW &oz_. (E񍨄w~Oon)V68h{NS r[,H";dqnZH3"h8b[cUx4ebTㅐ^+%/)3~n&)2m990[Ⱥ(;?;:&i͹֛5qmTiG~.0ʑ;E, V?lk^=꣢7 {D굂M+?|г"(EXw\۽bdD3> q>F]MeMMjآ_m'nedJNEK/;C֪g]!KOmG |F0ZҜdzdgYZ7zXZִF! M]ŗXi%6SrTaeB=]&ѾF=o{qlhrsG!sc iEf@745Q% 힠oeM):%:25#X@}8LS.Ŝ_7-|+ݱ9g7YmRBx`a-*kvI΋gDFd%0EK)h_~D:(&ꈱS ZWo}YZ׷(?;kT ܊qձIU}71.IX>rϫ2bz:MOtedLdЪJ4=떔$TO*͠( ͡V}0jVLET ]hm8 K赖ٔSO0yhhgyQF܀_#ʴ7nwMf>1~2(o2M8>;+PWeuM+0M5 qHq AZ1yD^)hn]s| ˆo,j?)"\ &Hs9׎ ͆oJH$pK3 ^}  S@d7U/؍hm1;J/h@ јTh"u`WN)0Z{=pSvz辳/lh< ]+s;{gPJFY6״jaÖ*MDbq9͑ /k9D5`cSkZ6p0%i }jV*YLQ7W;` i@cQ|It5<8%X ՎE佝yڹ<.r?f,1EKHHt.!z3Z apR~%;-4z|ʑAĂֻgRbB>Άq"z9= -t  y@gYZa01f5eed5316593451962b9aff355bc723e2b95ce70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 02662119c424e3030c6017a821a6c2b6c050602b89d8c9531de4630f6a068be987c126a5b5fb3c10 ) HOLCF-Nominal2