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 HH57 dd ]/ Coinductive_Languages:threads=2elapsed=19.633cpu=35.056gc=1.248factor=1.797zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj&R5+?O٪8b-oo+M8&\Gaj3!OތcRuaW"'*CqGres9"HIN٣JZ8=s)& 2^Жbx+Vx\X/;Yh_P-"i@ǙEfj혷eX6=nZ"t!Lu$N9'iGL H| Pj{*`|ADVˡekZݻ۷P~_4K y;~E 0=M.x#"Ym@8@R*"cP:wdTy@' !c 1pG^!ik+ꬕ:@~'4i6@QӜ|}nVK&On+I{9L0N-ʐj`$7mWId[5*Hm#c8`g+z]21p2կx.vVaK_]쌎tTVS)k*Ai䔂]@'8^O=\U)g\W#kE5IdC=)WE#e5GI)#YE8V[ [b =@4p=b]iELp dݛl!)bQ)k\@'nb9(WMPSwY~^ P# "5wt0;ht 9笼*ѓdd<=ue^1Nq*c;kN${f*U~>VNɊOFoy{F -?+(t|D*}z]>YAmXZ Hƛ:̌HMG"}9G@A\%/Ý^v0΋@Uw96:&WH[',mJKz}iPĒ_!{mssP'?P3$(Ӈ;(t5`k6͓9LΣOp_YsB*j5bRY@q'+ҧe[w.(b!R}B{iZxXpEs`\&>Cl^*V2< [. "RO]Ix&inMM@Hv/I>&҄3CRvre/f_)㡔 2m{!HdE臄bqދ><~t2b58f!+r;NR FK<5 ~Pպkb`oȶ w0̅l*)ڪ{icB*hrtQ)0yw#~.?FNPWh11R4eInv=e/(kCg Hb8! (1֒q! j-NYV