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 DD9+ \ ]S]Sturm_Sequences:threads=2elapsed=42.400cpu=79.848gc=1.372factor=1.887zXZִF! ]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱ:0?#`m CCP9 +Ro@lOփV]GE93z=Oa{M]Qc 0itT993Og 1XZԍGԢ[ODUd ԯuS=/h -!-z(*/4VJf&RydL+hmﵭf^X ⳼DYC(<2<9h/J_>S%=R&̩Ri)B5:1a,. R5OBޔk o2.eݝ 406S:̮,;9T:2bjleFG޹|j1yduzzN e9 %DoXI-Xo[ X7uG@% Oeq:K9~̢ee܋$GYM>Oz{c>N!TP]m[XjP;e}Ki?UfHjaRqY! ^=3J%Q{RQ4-w0eDB9C&A)a.2$B À .sX۠Q,Jjd27/*.փ^W3̈́ qcwGʁWPxjZI=)w$7jbkO{CxH_My1TjuWϳM0$?͉8n?~д0#Jr4PړO:=r h,V !4]#] <||Jcم u UWE7 4JC%bȯx=׿ud)ʱ0UQQ-|ve,ipyX~!\9q+&2ߩ^2|V_5 quXa+dbI< sv^朮N^LU{41 aV8ϖdndDiW%&ɴO? j57P,+/&݉aDӬ֕: T^hetb4ױyrV͓gYZ30ea65e4d0b6e1c852c550b224c2a431f66846130a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983dd790535a658b8c7f0dd2bdb32670ca55586740f + Sturm_Sequences