SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 y1 Ld ]]Abstract-Rewriting:threads=2elapsed=37.062cpu=60.444gc=2.936factor=1.637zXZִF! (]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`aٳhGn4SkY`HMNVP^vc{%etJ g6_DŶc!`B~#Ǜ/=]b;r[o: _Rn*a_K?qrcԓH`Xd5KvR&.I۳z?X>1U?Q !-3*͂ouF-|k`_Xbbv q\p~|ZCG|naFk# ]#+ D ?J$ "I 1 Abstract-Rewriting  >xCP*/@r,pYgr57q#GiFBJ O;FK_sC[=:!6ɖRǏL `qTr^j`.0n*%ⵝ3n6P:jGhf˿vKNuɄ' dZ6#梊z8?)8f0k oog<]&{(?3vW51?u3wlk:Û6NM&"~@ā Tȩq@ED,mBBN%x y AWu5P/z9tMSgz X*ԼZCCfqsO@ώVHKon!0ncpW";fT5{1hҸs5:Z&ݭC }@ \&$4L/ցC)M/0b/UC0-a.[l`JU[;G@Or*ޙ TA# YϾW ?}\JvWQOx&Wó=x1e:ꬔN8joHaWsZPe8 0y˨8q;kgI5rY8%wU8iěSя{K4 l75 ^(÷7dvÀїKVr#G6:ݺ$o3pj>=p~#{6`mĒ>orԤyq]u6<1|-N׬AF֪]BLR43M`eZov0u ] PU}rZ̆zseդ[VR"fgո9N$dwt-ѓy¶Tyi3,\HgE0m#b{ԇUIn3;QH ?AmN, \PH ؅OE& ܨm.Cd{wXN-Iֵ mRO YYDx7x_Gm.܆<7Rh*K?(848к_ihl8pl>rqbh͐&yi,O){WiޫT0/[k/#"=ٛј!,\IST9}Cd7da9<z?S|"= ^yɍ\FE6Vsźe쁪!WQx(;w1lRIn \ (#wM/9 &pD\ `F뀒nȁEW0Zr.%JFA JJR!^ BYZ(7 GVQQ{>⋋c)ioQخa\V3Q#}bm뎌 BVW4/oE:NvT92UA*ϸGiA{^ /\Ts!(v U7 -3AnPgb7 }[/6ݲ3 殼%</-c93/y<+ͭ scFp&y0 "z`S0<=lIjz4iJ㢆Oa%{օAr"MU#hÑw'S %963:q J<(A) =-\Bs4Ι[s0xq BM[*+ص8 q8}Z0q[6E_0%&ciɾsYGaP RDg6,ZYpP&V$>6QH)#q[ۙjO76a@_.(MiY!iZ})+. $o5GX/&i$`< 8%Áj;G ƚ{EN1&y=+btǶX^ ac5Ԃ9!Hk܏5o>QZ8]͜l"R~#H(!н'%ZhisI%MYQ uRmM|=<&& gFHz~/֗5j62-&Qx8T` eO1}LPכTܓ aP {Ktu$^CgYZ7f65f3f3a458c52d78949fe0ec94de70e174d341a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300fff333d7817be23f2d36f67236e7c336d44a33ff4c