SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 0# t ]w Minimal_SSA:threads=2elapsed=7.889cpu=14.672gc=0.324factor=1.867zXZִF! 3]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@-z)-ExS4;,ctyN-7w5_;5Tďl)rrB=S7:0ԫæS=Qy:dQSe{[R̺\7Gb^c/ \}'RLV莐ǮB!@\xg0 -3D΅w.V._OsvN?/ *KpI=NyLFuzw*7+#-и(k8gYZ7zXZִF! K::name=Minimal_SSA.Irreducibleelapsed=1.081cpu=1.736gc=0.000O+r EdL3}^}YZ7zXZִF! 8U~]ŗXi%93<8|Ӎ4{a/]g|L޳5C@R#}1eO@gБeUJ ?E"6KǨ5sN̞Ra~}7?#[u;hǿcZIzlkB%7b[U=]*?2@s9@c?(^W"w ~1J6.*Nb*˴] ٖ%c]/X֧~:Q.Ķ4pυ"%ݜ [A [V Mгɜ])&U"P7tPmTWa碬 9l@ח>}Q:5}8C(g\s z:V oБ'LHX'ST: %&si%x{pk{]/"=6ߖᬠf?S!֥=(tIboL ݸ}F<#4IoP§J}~t}]~y!|Ga m2-5ե12-8YJ]9ٛ&zlMj\wOEJ S`W4-\yBE *Es\{ ~< I*R&٠v)VbplP~LM0VUk 1%5h粦dMK*,8P_G~m /X3Fh(hH{ ,)r5,ި?Jv&nfĤX\~}I!FLv,~\t!ܲrrM\p:Z@ިGPI==#>