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 Y9 $, wS InformationFlowSlicing:threads=2elapsed=10.020cpu=19.592gc=1.028factor=1.967zXZִF! iL]ŗXf1-/6vRZ;׬S@à;@&KG°o^箈1Hqey@N(pzYKDR 4)lF+ڗZ+DžrݷQ[$Ewr؂zg=MVxEqsErci1ܮ'@ ;[&Q{4*=𘯜BM8* 9 InformationFlowSlicing_.#IB[0 jdbjoSWC(NY*v9k~uӷMo sn{~+" -.|.k&o'+XΈ{'Y#BzkJĿ:3:2*U>:iR'/-rAmoHrי2@I}FO D >P\E`ͫijMSIj >H߼T0MY S`=WX ^%3<J0CzؾhSvI+ZN~K3&Su R&D2=F}!uI:sIclD ]'񧲏o)JZ&>?78B.P{夫L7fE3xݝ?hxfw:=uH3 ᛷ؁{;c湐{ ?@՜ɂ|m>ࣦlߧ1 ?M%l'*.me%]rhLl)4z2!p?WXgtzjwtp RG(R#?? bLI ?/\vKS“UJ'i4IHL4(ޅ2ԙ~lf@]1VyG6'պ%'5#ʰ%&)ѐcgRtwG>#.: )d_Qe܏ȃ/P5? ZkN#Kf 5߱"b*ٓ_1BCFOXAM16gSj|&Nyǟ SX okpWIQtD*Ҙ eakq2VYC]yҪy XT lJ0P8,/,Co%xmݬdrZɽ hiE34 wC$\\hSCGPFט3IXp^,V/(EA9 -"aD"nP[&vG,юl+Ա TWx]m h)-4(²oaPIԉnEn0ĽX+p Ah'f0Eo?~)>;tD$0?##Bt$CP 5z`zp4A !pFסgu qs*c* :9F<.;L /> RMAQԶc@/L9,we ȟz*ŇMֹH)ɸ54_':9yݛu!Gu"$/+34bc_ofK}k9rpZhct?_U2diܞ1Zc#[(T(IUBެXW ^) HO&K;68z'w+jv 2YB `OZ$pNgYZ7zXZִF! :]ŗXi%DQV>SW }ᝈԓpilvHFUkvu/eSњX&L&R"SMh& [/\FUؽf*${tCj 6RmlHĥI6rлw*%7Pÿm.({C pXs Puhݾ30*:II>^{zgD}Gj }^Sig3iN޳搉꜓@t!M ?j!|c,M`/[5FjKմ [l*  v:((YT%\*^z ̖QfYN$/Oq{aFt^t}y7΂v':Ss<{0mR.:P [*WO#EP& /HR6R߽vZnFy1@uMw PǒEEQCWbި}2~v]uON<>Lbms`5Lkا%<5}TK` ">S