SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ii9  wS InformationFlowSlicing:threads=2elapsed=9.650cpu=18.700gc=0.996factor=1.947zXZִF! f]ŗXf1-/6vRZ;׬S@à;@& ؒQӣ0o;0Qįf y)$]!O 9 InformationFlowSlicingVOhJ) 'Vgø&v#İ4[Rg8ys*dB+oR}^TiɐZ[@Om`,EY1UYl4+d8q/ϋ00P;?Su#Pà i(c\; +\Hst;Zĺ🦺EN顑d.k֧dUdGPXwHCSAI2_]āsm>GH}MK#~M Ý:7ɘvhzժud3 WdxIq=TNt h2-=)/=O4ᝲCCm%*(SnJƄ|uZxX߃,8s +Z253eJteHmJF-d ĝRlcv>FF.C5xY"X7 9ۧ74F䯩5HHpMGƱ).p~9tzʁÜv6.9#$i^Z"{MR.J&цnUOunARl{'<^GmAx9Zr5{MokT8l:?>@#\s~H7"G"11*|˘,r |֠)U{XG&kpPrZq,d>BDJmLytg]e jup]{!<`Bi`IV⨚D 1?)I%0:t͠3p iS+ v*;ں';I:%-/zqJ(=+W-+WO@.Π8(LHvan[i*VTlN,Xp>Y n@jc ̗[țmB:gY2Ōnɑ񺷟נHj/{}k܌{:Aോjs @4ާ`c~ ̒Vmg2ţ99SNnbM6+$:<è߫W/^ /?#E (\5+4ؖFC5ayP-4~N~CdV$E/@lvZAWN%? cB~f8ۛN =yQu9,Qqhd) >*{Kީ^$#Ժ{! nw=[_O6IGW&En!5"6ќǓ]O\9]P$&Nժpͳ8Ke?z"OrA|@>uڟuk,^V1ςfsH_uu>zYv S4 /F_(4'߾"Ci`DL[Wz :%A*VR6^gYZ7zXZִF! 8S]ŗXi%>b^VsU([uY98K`71(##$.+( p?HOe>I{IVdX6=CԴrfaJ˯]"EV]Cge*z6l裪y&D[#Ö;vYKz2và1P-[-KM1[Qn2Q#]6SK#0 P?X D0,eXQa"uԲOcuaNl~JSͪF~3@c$Mf|7R/55MG#gu>[PiUZWZrGJ觗bHD%i $Y-;Ԓ;T:)v"z{pkzS(vpA:B{B$GT݊Lτ_;7r )<GOU,0L3z A EAXpKn\ plgYZ1812407495cec5df04e9400ffda893a10b1dd05d 48f54b27801ac9bc464dcbe870311259f7be9c1d 974e8213afb6cadc24ac67baaeb3ac914d640b71 9bd5f47ea803bc1938aa92395b6338b228df9c7d 9f0b4bbbee284527170127effd3487aa8669bb97 ca4c55c603d4b24124f9ef6fe58d9fa69fd00b42878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 c0ad21d6926f3212b802ef155fa746fc1b5d7e30 c6eefdf3d0af584abce18bd26accc885c4ac7f8e