SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  1 < ]]Abstract-Rewriting:threads=4elapsed=34.619cpu=89.604gc=3.448factor=2.597zXZִF! &?]ŗXf[&*%5r+=~ȳL\Th;% JUO4UbwtՅp\2;hu;yVvAP_=FeΗ~f#IȨBX|4҈Of.(n>m~@ⴐI:="#WMZ.*b@`&Hߏ!!qA(fI)֜Z3$MU M'. 7hpsR] `:MP6^^mO%Xւض[܃WV@BU"ctHe=5,˲Xj˂ 'U/n|Ǘ,2jAP^8w*D*/s9v&e7fx}gS%}+o4ֶ.VEQ!L BuF?ggQqs,!k<]/N| ٚ'[hû(ܐ&h+l! s$|a ZcF ݸ'J8!dwkӅcrAFy@dG|%oU,M]9Dl8@RK: v?@qGK=S36Þ,zjzP}#E9b8iT 5G51XϔP8bv$w!{g6b'܀u˖OR@/njZB'tz)b鎍 PQv,#EOuM@z!P6 >3lEO>qvDQ(mM׌y0NaZ}x:%KP[^nFLB֠ 1 Abstract-Rewriting  S48@_39ԓQrrLR?,͈#V8$Jˉ` ^I/bĹD*)l7$HDFY%͚ 5"~~$6 {  f9b_*e7Ga]y9jQiߋ7 v@ ⾭K/Iepf25r\U[VFUu*vMUgYZ7zXZִF! <]ŗXiɟCrhi^IxDY?Av|5/$ɻ|@* @?dN0Ӧ`A)_ia^o4vǛf\XjnqV/ha"fNx NNH-c*B9Z)dwԦ Kюe[GrGI>g)OH=ы~].x)"w*їOJ1a5v4XY;{l*rߗ}(:3 JOLʘé(9&<8w'شvB9sZ ygYZ7zXZִF! ]ŗXi%L 0szܟ)*uj(׽SͅKˊ۬IK1۹" 3!1/5>*I-YBz4\, Ɵ9h|̔]` ٛEC56..ӮP+X"!+/.c`4rooJX{\ eB>!ʠt ͙ؐQ@)vrPOKQ@_ Bx9n R'a!(:|9CfZ\~H$UYv2oMj6M%x㎓8ZZV. 2?ɘwOY=RH&7I[F&n5|C+Vfx˛>P*"Wgþt*/7ISsTwm!om4REJW\s.s*Pcmgy=`4D,_>qb2ev=&y!{!';.́KEir@P/ @vJ,q34$j"`8Sg[eH#{]ֺ2B.M grgH/" o;/5N2ׄ_3yLT[tIGz% @xo&T02uEh[8&6jq}"O!zfj/I%5R`sSPP!Z Û'@ [MUS Ɠ@HO+l}R*ԳqsZ+0~s\? @ ˙|g %.ո'ˆʨA+EU"xHX5-їV2htSbӚ.8 1t K\M u)&BlI_[=()KHX)4$̅eZt)}$@w'_~EqE*o5aʊ\S_8soj>f8IhI0."xper^X2Ԣy1#ŢDwk8{w7﷎sP1f,1BOm KQ- Yz)+;y-H1c!C 6Eb(J9Z]3`cO !MJ9 cs#/DJ!7m 4)$pb+f2e@ޥq%~cd͔bzuX~872']w vǷ@BͶ"h5+UUI3!!*"O*YB5V]~hJ1Y6efpF23&XjjO!5Jcšhf iM0բkVr'reG##_vV{.qHkj'~TSxwt Q*^nDc@R&) Spt_~@5מּl7_{0(yMXӐ@wDZUH?|:Q`{o4U