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 UU( \D\ ] IMAP-CRDT:threads=2elapsed=23.766cpu=39.048gc=1.940factor=1.647zXZִF! ]ŗXf1-/6vRZ- VG{? uaԌ<[_ݛ )r:o^*/=`QqU%? ?S 0,!yJe^mMqU*abLH@4}9 跗Й5?!:Cw#ĵk1ވ-NY@0%Ġ}ei'U>") 7=Eo18=>lz?ez/~ڃh4 `Rd7|1az4O;C(eLf6 4r`hzH`NSP ]|jS>H0`̓A(ѡl୹x, (o3;oO^'ǀe4|l:^0%Rz5}%etI $b] K2^F+VFB@ 8xns?5QtP%ǯ6Q9 ҐħE#m\4DE(>#5*[\oJaٛO_"XW}&NaA/4$~sLg.Z/`-qKM9 i(Jv;,l[~h ^T3ҙi50_!yUpr7$Cjc%Ixe%BjNQBQ0ʩ^]N(V Fb 8HH&W=dIN-] e&{DQ#e{}ח=<S6VH]|TΡEY" ~oBXDZ3άIhЦ9~ц}ع1Y`K+RaaD+ ݁P*>XF+z3u*@R wK3VUDh5U3=z1&6J6UIu9Kh27ڑ GyU'q*0gu7>d څG:ND\Fl8ߟ )h8kQ?fbE Z%2>x`}{&1D[Ŷf[|\w4)~y>C+Ou>^xIݹ$|wٵ,ڭug(m%ʫn%K93O<dEMcK4^ mZ>o|^vRiZ?$d%5ۘ-f ONEwXA3ld8>:%P~^ҰORR~U#(!kdsmIZ$9o F;b&UESl_Mb.SPy<@y ;5@䫘g;8?MYMIi< >bۊuxF v(J>>@,dxz7)kRrZ:Ͳewgl?bϞڡM-`e} >*tI/sSŷfĞEٸT s-o><@GfboW=ݯj3` ?Zhv8Eݟ9շ,o\_e7].#38 q+g10eLhҡz-e=ߌ0NFY$CY&CT)}ĩAz)f#Ulf̸$Nց,=9oZ7 qtw,&W$)pB3PA׭$`PmsTfݯ!kEEt ܷ1 kSv,2EzJ3 4cgYZaf8bc1fb161690700b1acda542c470c45547b871a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 af247d02b930e3b96aca93da5d3c802bc3534e8b   IMAP-CRDT