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 4 L< ] IMAP-CRDT:threads=4elapsed=18.190cpu=47.356gc=2.168factor=2.607zXZִF! *#]ŗXf[&5s^K9 aiinonܶ9/zvl \d=m Ѻ G.>@YOBPvA[5531=A/+z^~ _]q*_ \韎f4TUV rԉ Xpx"ң 3*Xˉ-9I=~VvBBr#–OdrtG0@'&{N/Z#i*|ZVyEs!mA)GǸAmNTF5m߃2'A*ӄԡ@qA8 |Rs5r{iSa'k%ivHWih4 Ƿцt}oEqDFU,O)\S;(!șHJzM-+t`.IJ?b@BxDMh>J'ޮ\k+Snc'>5k)}.^"wF0{p "\͹5~Q4ޡΒ}䗺/D56²Vu="YP#RxD9$"̪A̿-=/EUxPn]8W9nOhnS%r dL; `Ek$| Z?8?٪Rj=* "g<8thi `qD83N$ avvu&s^TJyцl*}!yѾq;FwDK aUk`^ y2||{pfykXͻ41e1`(,[r͊e/%v!'** ;sM e>` qndz f\^ r4&ךsVi,-Fo^Q!7/ivc@[!ΧTX^ OŮW? &0yi̤'&T5gYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/GF8vם-ym ay#rӊ͙r€VfbAEX<a:kQ!ƾGtH#'͔m_K>awJgYZ7zXZִF! g]ŗXi%@b^~Z3O[V̡,Q""1;6&)Ob|/fzJ|5ZM^AN uKkb{-,wT;5*1EKz#V ~J R׎s 4ΐ-CYr?rq;SBoxvq9k4}cf/RfsFsf#ky‘M9>SF#j[]qyv$?Z8ЭP%/6FbUJ&-y5-%\IMn/:,sj<5 +}@Ub!j/TMG;'#7X\Hž‹:B\LF²~<=]O DqbL8w6=lsY t:b/IWVPy)Mo(&fܗGjFCmt Y6Q2ڃ a! uArE:xV%QXHYV]'$I"YY:+wqQi༺$5G~syd1xԺ3lPxdVhxl : QxњFwD@S | p"QHI~T\_pT_qEU8 F9X|Mv2t9?^]xlo*%z4s3<_6<e0 :co5VV{Tz|Gd[ !Ì,/^c^9:sߞ =3u(`;-{ٟ-8Bi˅8LU+kW "VmȉXhbLj&X')@< QxlۇP4qoO֠gn݋,̍s,\~XUƄF5[hA= Ev˥kC*P#m%qw鼡҃\eCdV}9XVTs1?gI+dYE,k/]Ӿ}1<#jxv: ^UOή#zGa88xSx fo4x2w83Mlf SIyd ZPjmwV)٤x@:iO@+eStb`AY )=8sWզZ.bziu{\b^V*jL-j!6W]bqߟ{ݪ-^]q,di\@L?Pd;`qZ>PR|4>(. 4~kȗl#hg3($--o>tjasj t5}J#rn}kg3Isr\d mwcߎ`FC&'lv 'QgYZ10ff66f8dc5dc14d899b64e8bb8868cd789ae0f531f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 104f92d46f7535585325e08c3cff22549a6455b4   IMAP-CRDT