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 t w% InformationFlowSlicing:threads=2elapsed=9.942cpu=19.188gc=0.852factor=1.937zXZִF! lM2]ŗXf1-/6vRZ;׬S@à;@&ing$1T] vg^;ٕqH癚zwQa\V~ 9 InformationFlowSlicing2*vz` ֲNޑ/͢!WN]etHbL!_g0ϑ1&ɷ|ڠ fȬ[oda, ̔@#oG0_{QDG}S +'{D N)?D5b=ŰQ4-}Ч[O_nH@K7?_E$T#u2d*_J2],7 HYzG&n*wbT#ҍ7%Ed?ܸp9LSsWڽChzٜtId;qQ;Q+ps&϶17LH~;Cw10mR!1c5cq'x6Vu}CK#PwoprM,JK]ᔗ x:C/ڠd$3^zJ|JvS¢Ɓkܐ#e^6Z,]HO{Z9EӼXWx(eD?؈Vp?&ܼmhGh+v.piaa/k2$aIţ`Τ`<% ,_s·=}f޾M2~kg/XW"t4RDTEl@o Вahl8~dvN!=gD\Cr3HIr`Qz*}LȏYNYyH?z6Nm$;z$ };>CCGC`bF [xsK T0#5΋uMlf~xN{[P獤UM]9E,h]Y"='bm\͔-k,LU )yX,!tX%W6JS3<8ٷ!2:I/3};$~utD4#=LDH7*oȆ^]JŽsZ$,0r=RFb[N KtQ]R}L#Aoڙ- G="+W{) ϟI=x!FQO\idq֛8Lsz8amauD j;.(0q4z4hyt0>'pJrShJ T'A7}ZH'(3IR^$[=Job0]Yuq6JE<ٔ[gYZ7zXZִF! :]ŗXi%SOxBD!oH:ރبs;A006;< |ۼ Rf6+Mξi'Z\QJ9cu>ݽv7VC)CMVn.齾x,_TȻ@I>:tNV,,(1/'UgM"BmZRP;~Ӎ~.):6Fq#oS؟(obTXD Qq7ʿW|N(Մ!%x'H]A3M,Yq7>>=Ct*ҺV %Ii 3 f{26q`mMGpJEj6k=5 4!Fȋ;r/ݠxڋ`R>@YYo*nE){ŦEapUIM%>'Zvh܎ƺ![ 8=|[ȣ/ B,YO1$奒lJd]+2ךUN4)D?Tu4b4VEt:W{:|\_.'_PVA+L/g7H _ч73`-3B}O  -d%Ñ:jEb gC,ǍL+]`$K a7oˍ!  8+%~}g#-#ahC cDuœc.}qn&eu4vgYZ1812407495cec5df04e9400ffda893a10b1dd05d 48f54b27801ac9bc464dcbe870311259f7be9c1d 974e8213afb6cadc24ac67baaeb3ac914d640b71 9f0b4bbbee284527170127effd3487aa8669bb97 ca4c55c603d4b24124f9ef6fe58d9fa69fd00b42 caa6596dfa93f7644db52f75d75dd6e1d7c2be7080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c 913d9f8079e4cd6e95153b91da7b5acde8ec276b 170e4b7bd37dcff1ace8baf26366087b4ff4e301