SQLite format 3@ .0:  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 33J $$ ]/]CRDT:threads=4elapsed=16.104cpu=60.836gc=2.832factor=3.787zXZִF! $]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X +#lDډ1tmX^H׼8Ƙfeh9 K#%Ibv<9=MIaއ֫"ccBOXqvW~hKxpo|K Ȑ=؛䃜0T덵r5y% n H9\0^ auZZb:%f;EЯÑ VD6UBCO bzg,]&~~DG2ヘ93UY>u{>NSn}!zd7:` ҁl&./7J{?+@?Qn.jhz*~SG^y0޺{7H5Jw]ǯ&2SЫ6BAEG &n>WBnL$R<}B |Jg&FpD81\vOT5Dmm59)l|j3 }e鄟#>Ql5طEʓOWKσpKg_=ewVm45œAlBL:8V%KKȒq_)};^=1E& *ecH'Zq<02UIB ysuJ=ƗR~'zZΌi%Xj8?x;%?; ]´ x_ٕw HI8K`#|b@N8yr{S`3s]dhSȠyrPx0 Hn/C")]&pʌ`Y;&c*bZ E6Ɨ*[Mmֺ\Ѱxe;S'mqYW82&nȐdG$9Ø+FE1[Q8dzE3cGv$q 8Lڧ${.LYc)Kz]z.>I»מb  (Ww;>w#U4t=XlTO_YɢL#:-^/dޫ`u;;96JhӠj߸P-2/-R8!R"'Z]V6L&af+y?V&.>Ĝq kÁ2oTx ό:CXc߈4FS7b7H/@Ǥ96XRsZYw<7cz17B*L(VpPG{Ѡ)1,7#rp6ԃBt1fHPМ|.8ZxB^W!g&jzHɈWRT? wTu E`Cn`0L9NE;/?H YτYde,|p$L$!%`pӗ͑* YJ e-@Ekݬd%9e&@*1=$Fi%Yg&c/4VIU7B9cW/oD [[{O)%. wb1*JAybLnYH㮷 I,.uJ}RXQaߔ Ai4ܕN'r\Enc5T'Nl:;2ݔMO?8[+]pr@+ c^ܿdlPHy.f[04X$ܠ= _sgW&c`GZo"7ӆ=(_Kk9\m/wqc2oW I9R_y__Ӳ]ȂP ָYo j۝ގrcGr2&%>L!'vXB6潽pɍԫF\gͷ䌗5^&h߱ @\JJܨ3!p Rmed~drd #i&ֶ1caJr&]b~7) hױqo;;: 8}EMʌ($K,p)3ηT7rs8|FyպOp6Nb&@)&~=[R=Mn>OAJl ހA.Ƈz:]~gYZ6e4ef84bcb6896566ede837e8472c8c4cb7590a91795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b50064c6333c63acf3db66f84b96c69f4b781239b  CRDT