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 E1 T Y/ Concurrent_Ref_Alg:threads=2elapsed=10.813cpu=20.024gc=0.492factor=1.857zXZִF! J]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬DC_vE:t$|T#[x4]hU%3?cO>`*n E \˾sXҥn'O)c5!Q|,|h%ZI 0"yjP!MES'ko q~k!UKX:03X]@VIPSfF#~֖Z%wR %9S[s(XWWȜ?YO5C-F;߿klNUXK q~.9v *ƃRK }2Z?y5\4 ۅv靦 z1USJ>VF\e Zt'ǎaD("=KqKK=L&N.De"_t%Vs.UPkhL,/)VYg;'d,Kޱ)L(~~\7!\/,.՘:yE>a\hqq<퉆 !c UM '9ɗl.I2.2g`J(^6%@} ΑL[ xzkmym*8vUzKce=kzquH0zC A_C#Ut5oI?/5ٍ{PI}:WS Ա2|A̐1g.N׽MG80ҫ6wR9NA" 9L*9xR F2ع,Bxr! (}u8߃?,H OWטϱ 9suz7YO6AG@z*J(Ѹ"ݨr>&( zW*#Ppj*0bU ,0 &eX@\ `U8)9е@+kט>nBu^wx[_JZr@ rs熈37B 4S).ԗuNU6) ͕"OjRj#f3'b?'?'Nqyꏉ.G|Ge"Mc3쾋Ě;R|bK`5fJ7P-QX>t6.Ӷ` ѫ,I,pA͂e U0n0Xv!T]7q-54*;~ m6JkGݽ:ĬPDbrƝkvwI su>e<1J1E2IT7Eή@kޱ|G҂@d1^Q?~Wk")$ѝ+dk1wٲ& ȿl1X[sZMrrd]k:i8 bOZfg? *u 8zrs`ؿSGx]R^qJVo `<ш [?U5ww!P`dUprX _f^䞻NFwSye(Ԝ}6ɓ_RMw F&b:K|f3M^ģ(1j_PS,-`T0۹[h1Rq i`r2')8:N\;<}˪iNGZAaw*(G2diW!vV5ool7 + C~\]fe;gty&35{0ij^'=!g'?$7B/tV&dg$*wKC\,Nt @LvjO"h9wnގxO>#s8?\]9{]Bi"2GZ [пFЋ")(F%-F]qHY(EB-DX+,+ԓfS\H hK=։ ʩ0[ ¹_˪<[ts":}uTQETƧ4 ݮPZ#~oϱgYZ002646460a812c4d5341ad7c17d0a781d7236f33 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 1193d7241a92d84c139b643854d230bc4061d46d 241a8797f0073607263462b1c07f4cdfedd60c22 24788100960d5db04ab825d4df15c8efceadacdd 3b22fddacb923fd57ddd3e8bd77375dcc413b790 423ead3bb9c7733310cc2d44a9a25d446c18d2ed 4ed51f46a4e693770e02b5a8825117fcc75a26bf 526032e1c045afa7cd8955f01fb6c34497270ba1 7c09ab90db3d50b72ff4d5e1efa12f7f5bcc4e59 7c9a26e853eb64897a16612b7c1f676061b06f0d 9034e1129e58e58161eaf78e076bace889a5bfaa aa69d3a41c0d76f0b14876b163c2de8634c4c537 e01e71c22bd07a0062de326597e2f8938a747ed1 f009922a3345bf16f84dcfcb853dce5e6ee880c5728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 1 Concurrent_Ref_Alg