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 yE l|l ]% InformationFlowSlicing_Inter:threads=2elapsed=36.748cpu=61.284gc=3.384factor=1.677zXZִF! n]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟ*_2;,-Jќ 7(H;("ѽn`liF3rٯv ܁b?t%q2Wݕgʴ5ho AfP(jJR&wJ&"x=#f3YvZJ<cCM 7瞉2o==% AQ #FDw|dܡe)wqa4Ŗ*H דR{ @2dqq#ͭT +НX#T6g+Z$bUh X)&~IyX#n(rK nZ -II+uv2cHO,G_A߬O7G"T\bsn`Q/«,`..f>|?׃; }z1,1<'$ix5&wD%s~NjFb{@BOf"jQ-by^R:=6!IpW!(;gG"**Ax(ɳlW!{78+xiGS%Z2Хo!0c+x+٦W/r&*gYZ7zXZִF! ]ŗXi%92A69pC9Qc]Ls;yS릤>I3K|G-k$(dBp:N5"5K(ҦE`B#k4H C3_F.˹\O^Yg=lD,OdA Ƨo`vBⱨl}f'٘a(UqF+֬N#~_ =>LDVèRok0qq` skCc:J$NWpnܣLJ[5[@*G&5"nZm#Vxj k"z7}[ŔN¾2˰A-<`zTܺ0cORIԊjZvwI4.\2zB0z {uƋB7o5yB&:bzt,irBrqMGLхTef~B\fZVY1[Ǫ"=qDS pIslz'f+%g񀹡m$ kv%e3{{P{?ibrKi%yN#͊`(r nRT_cmKzp讇9f)M!'/9/+t_~^Ҵ4mζM!8%dP" k<ȁ15tٴaɡ4[NϢ!M-B|ۡ/g#:e.`[ALB~ م_72ÇIޱ֝v+W*-)QIQ^vԽԮ%ɦ ]B})i1na=;^}.r5&[;FwGHn%lL9\W3trGI@xYK_aű*Q>yoAŸm, )ooc򃦋Vm4wD:~ܣ|\/HaRe٠.kp jO,_YӷѯtMgXK( CG\ٶ3h\H oG;Ӣ /8zinmgt(DL9薫q=|JH?{pf|lY=w/UQ)7u@fyKbːa$ LYU;nlTts%BWq&,(a Zs㘜ͻ޸:veG.8t2yZVx\: r.2t/Q \cuE+*!ѷ8M@E9Rց,+=T'\k;Xn`x6Rzƻ.\{/$C+$.DTv70l{V&p&ξEJy9YtN!W