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  9 \ w% InformationFlowSlicing:threads=2elapsed=9.563cpu=18.360gc=0.944factor=1.927zXZִF! ]Gy]ŗXf1-/6vRZ;׬S@à;@&D\ Ф׹(Z1֚P8AaD3 pzC{o*ASÿQjVc=*Jt"Pj,OM, "s59\:E5\eSCT?7j;\>sjtԝzwR)z+ǟVdSX*q--O}ǹ,-XwTrTF2'9W遱 AwԙELWBΗILqI<%VQme$Ư4kGB$2IXc⍬$\ 83|$?n]Cx82A*蜬lmRP >E5Ux+3}y|wϙ}&X:(2 j&꓈ڳc CƴL28dP2ZУHF 'Od꼞tO@I7̕cՋ0.@(^q n9ȍjJf\Y* UTMG=˺y@1'N{Dy`r_5 [)$7tRU]qyTQ=z;R%&.1tgx[i.Yf=&)ZN)Ѽ5mgwU"{uۗDa䯙"ZM} @mR2=ӊgW.Hӽ0q}/. ;B C4Ɋ8\Dg-VB)aߍ0׎3BPk0L}TC۫Ɵ8l:ӊ=K~LRo!Ȫ{C}Ժ Qf/݂ʥ=nxX߯M3H5":Bzr"P*O ZIحwɫC†5\hm!x~ml{Ntp}֗d!6Lcn8LP6q:GѸWF:;wɐF9|$5~F&&dde?=B+߇-31s 5l7n04!#}/@2lуmI *SW E}w#/8ӲPS( z8677w[O,Op_K"`G}jTXJCC&H ؃bX }3 ):(.N>Q[+DC&G3jsʤQu^'_ڈOefy8!R%12YJqo_JB*yI|/cb|JzEmQ"q"h Bڊ*ؾ9M9"<(WUV{i j91,br, oIڂu7 H\ B#~7- mOIr"MoX m% ̼X 5iA2?n[_;)fhsAOwa\WR_ݷ7gy@݂ɧ_#V&:{t8BIHfqZOv!!jΠC5 %ȯ<,d!\5,DMi=p(gYZ1812407495cec5df04e9400ffda893a10b1dd05d 48f54b27801ac9bc464dcbe870311259f7be9c1d 974e8213afb6cadc24ac67baaeb3ac914d640b71 9f0b4bbbee284527170127effd3487aa8669bb97 ca4c55c603d4b24124f9ef6fe58d9fa69fd00b42 caa6596dfa93f7644db52f75d75dd6e1d7c2be709711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 283d9133b6eb26968a017cea64baaf69af0125e9 167dfb5bbc718c6482d66beefc38a93f07137603 9 InformationFlowSlicing