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 **;E t %% InformationFlowSlicing_Inter:threads=2elapsed=31.206cpu=57.464gc=3.616factor=1.847zXZִF! Q 1]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#pţbEU-~[$ϕ~ g@ `  2y7J{ܦqvuז8@D0 Q~Ȟ7az=bn1XqQUWmZρKjk S:'zh.<{,B\F"5gZTDj|yV1˟?th燴ge2zx?a30{N&N"9Hؔ L`;d6d<|QWCai RG)U+t%&,%P[ǀV`'aءƋ_|K>AF rY@"lu vwo<ϓ k _&oPnY"iG3>/\'H2/ ^ E`8h# bywaF/¾g&AdH 5xRũiB.c,n` &߼Lߧ؎ mW;ѬrE㭽tq椒ІDʧ.9+?]X/AtR*R@θSxubW b%qQj(9  J[amZ2kzHRCr-g{:' cvMEy_;>W% B;ā(73nف]Ec㔍Nq|\ayŒ/xt{DT/1!a]o10kA*eӐDDk$I;cRLd-EFWJҧtj:wngu$oQAQN~g1 ޚ).mB9Чpb;e*#[!}`,S"ks`cQ>ӮmRE y4rw i.m{)Bv?Ek7TGhrn&i#䊳dLouZIQ)w'|?[ D΢$r]%vbT$]HS(hCdIa\H\ʶkPz;f'kOURΏ W9DNvm)m@Gz4L (>Ҩ&FuCaDzVŞ 4ٱݑD3:u͕OWgbD.*g! ߿IHh#Vu5L+[Q_4cCpЈ5!)k֢s-x/%?OUV6ʗ9 ,2:w%C=J8笢~ It1NZ"HֺyMZ \l|tKq+}WzIvGYO~a/s_-F$ya18jd2G.c  嘆:eKKW>ztWBRS]B DݶfFl kK;wSg7<>ua1nRX-[i \3=ߟ`!㼟2J6CIDT5pz@|*dA|3][Ԁ/Hw+G'޻ 528T +wE($?hm a:(ﯢ6)s-CAy9J#xy~V} i J-C(=2|AR [<6 '+8Z{U%Hŕc P,<=wu}%h᧵?"l'J{p:y 6>w+l='ۘX|<T;ڏ3yx "NkUQ)QX?6oIr[2t5SU-Gʮ)ck;_afH'M)PQrti0fyK[Gܤ7 2|lMBìT0$9uV/{?tz1{Jeqifan'$_kgi@\z #M[& %%ʧq0ؓ`-e]fB28biէ~9 X&!|0I|[.ϩKY?ެ7B2iQ E|EҞ6g}ly MJJrg|HVh{3["'68τ!#J4 % !MӮ{`L~ 67RGg$gYZ2cf3ac984326e5ec979e2ddf440fc22ee8082b5c 69d0c5385beb5869d409d00e3901fba31abd9b06 974e8213afb6cadc24ac67baaeb3ac914d640b71 9c232d7029a1b9134fee70a1ce8162a133580fbf 9f0b4bbbee284527170127effd3487aa8669bb9780f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c 913d9f8079e4cd6e95153b91da7b5acde8ec276b d99fb7439675e7fb2bffabc09a6d38fc0c03571b