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 ''JA \4 S Regex_Equivalence_Examples:threads=2elapsed=14.036cpu=27.304gc=1.744factor=1.957zXZִF! u]ŗXf1-%˓:[L #cI"O aU{FNpGf A Regex_Equivalence_Examples%Hrݫ䚉K꟬=.'hT @'2ւ\$A~ٷ'm4'eD_6rBs\iq-'@ۺWmM JD7Pp1ȱQ]pZ8C:H~ Ƿadw"{K"ꪗ`ff6XnZn?آ'&}Z+9lc@3`_ s;A5lne+}7$7QqV&' (K8\o,2mJ{Q.8Tzt~TACu%;_,CDN/| Zz~ϺB}ah-U9SCWxѸgYZ7zXZִF! ?Y]ŗXi%SA($֛K9l ;R* 8-{u}jGekT$XqѸZ:,:bt,ub܀k W∫Ɯ13^6={򨈢Z-(!KKRGɘ'N1u-OEC#K ЁӫV{eiJNvXdT[;761npHǷ" wH yˡOO Z񚠭gͻxG.]2:Ջ|>P_f`X [* h}Gp? `+2s'-޹BwǾ%L&z  .؏R]Y=P1ElrW4cI6t҉ B@(y<+[Š)b}%\65QI,vxPnSnǎſxmi5E0DbVߞQNvSeH+U|DA9ܙbnl#δ-A DKsUf7}٥.ڸ8!1|eNwrS/KS$H+@C rDA-