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 e' d I Stream-Fusion:threads=2elapsed=10.656cpu=13.800gc=0.492factor=1.297zXZִF! l+]ŗXf1-/6vR[]`\Tu}M-*qtjX`"\5@ J݁;C ƥGNJvg1x !ޜe"73oZeO~BڍؑLjyf$֪g_i}SXtfIE2W)7% Uq*R`8dhv04wH<2H74kŶ"zII>IPZLzn?>X.K5זī SS]ɹG-[ f#O+ٵN_ }\+:3# ٱ%ZKѴr%T;irm1kYq%OIi{clT%rh}`M6###wk` u6"$ d%w7pqYuBހQ/!oY{;1ALq˴MOLa[H;&$`a}Ŭs5Y  4^U{#<ݩkzͲ5yRHs|Ndғ(K~cK.喂,1{2{T* ؂ANh\CG %̠'ρ ;kƟ9IXG&%#WKNlAyixE^y+R2#}F!>,f1ewvfs+Y[zD:J1ec7dxJLj=@ڢ&=4_7M }{O(*y1-yhgYZ37a95c2fcd5d24caa95733bfc47808e1feb2d551 42949db6ca1e816bbd53202dcffa7c9052e84a7a 629b9e84b9af488d265c3d7d0627a9474c3a647a 6480eca7d8d16630f0177ff98440fb9d1dff0620 73440a138915a52072d6581aec1a0c9a8843a599 b7b14edc8440e9659a16359aa649e8c83a02d145 ff2ceeb55b02bb63f9f48145c6e73772e2f7d5f8e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 9933f881dfdff901bfda5d37e9e94680bd990f78 ' Stream-Fusion