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 o9 \L w% InformationFlowSlicing:threads=2elapsed=10.793cpu=19.456gc=0.928factor=1.807zXZִF! ]ŗXf1-/6vRZ;׬S@à;@&8(I{7 0BķL{=ljS3Ŵ6[\Y5z\`Q/ԁDN~^{@p M^M^c $+Y=nof7P=PX]ϖ7`aᕊ*z|iK26̛xᦾh/.~BᝩI&0u5Z_fL=S1sHNf\>\nIJbm_` g~QԳeSmZ-z}aFħ4 &}PT'A @/wr&tgYZ7zXZִF! ?V]ŗXi%6T>x2ֽ Ze!NJp-G4&@;lH_b6|6[0)UYZ/W& |W>5Vx'+9yC0z$>pBЦg-9[nK"xD칁Dg]wΤ9E}lqBv]gٚ$<~`%.@ Val1+G<,1|`ԿNY0iC{_V S/m"-tSȬhPг/[S0yks=%ֶw]?(v&2\ (tU͏S3Yoޞ?<rB]q ::f|v6@B"uЮsIZ `*vlő\~ddZ|Y gYx>{.k&Y?wxg~Ζ$@L_kWNYp(g7]q ĺXM$ Q{Nc39nw3y&~yVceKJ9>͝s:<}{n V'w V~n"7&(7nP^yT-&2){I^:Al zZXSo2Ҽq8 }8MG+?Xp[n[K,NŋL/t Ino9+2No~1l5OZ̙YwYDV~ +gYZ974e8213afb6cadc24ac67baaeb3ac914d640b71 9f0b4bbbee284527170127effd3487aa8669bb97 af0fce6e79c19393b556c8f6824b18ac961bcf30 bdab28321b67323894438fbaa3bbaa05d37270b0 c92ab62de4be442c5aacc5328dfcf2bd0f181305 caa6596dfa93f7644db52f75d75dd6e1d7c2be70f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 24a7653685155ee8ddf548eac28e2f2e44d3853c 67b43de4e6bc03f2193a342c474117d6612cd141 9 InformationFlowSlicing