SQLite format 3@ . BBh77otableisabelle_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 %%X \D< ] IMAP-CRDT:threads=2elapsed=23.377cpu=39.176gc=1.828factor=1.687zXZִF! 5h&]ŗXf1-/6vRZ- VG{? uaԌ<[_ݛ )rp|`c`)Ȧ7b I+]^t f4]{_ Z C5,iL.;fE,kGWpV|˫@TM&"4g`FU$0/erMwȁğ4j3Ns׷kgG~.~wǢj I%YOG[kVhsG~'=0{Y}׻.,[(:&zhyA-?bl|o |6Ph g);qX#H160i'~>Sw(F0s%tGKB۽^B&n*(?L(%NM> 3ǁV0<4zɪ};w{wuK)|66J e +ϚEm뻝btt<7(=DќLu,X 12K2_m9#~ў JuhLmoZd `& vfIVYPp+¼:Y+e%8ɧ,7rJT|Mt"V2gB 񶤓eĤxVɷWKԃ,08AJ䙛-I׍W_SBS[<2hY~ճ&K\4?^:ir6k@AW@ץ\sF/3"^ !|wgSc 8;bVmETaF0GlT09 3C0@ yo+0IU=` 9}ljO#@3}\M\Ip7FC=6/ eE ӹYK[ 7R&UxCә+C͡K^R׎p-5qُŀI"&j長7H/A#-de'@<'@>`]?O:E 9lGn"1a3y9 ٶ72w(;,=u f,憱e/T0 m(α gY>p`g `/ݿ-c wGH>86 #+K(IUw=Ћn:ai;3 &ybU7/X@Eql.3W:~ MLgᨾ~t škZxhG5,<"q { 1|9 =:lI80O9 JW.$d ]d放4T1^ΰG p5I%<9ËWփL(^~$nҼ17ek!jʑҊ1~c"&~<4.O}K0j뇕YF7v79ҥqG;()2n}p 0^* kTOYʫ P`R sp."3:S|ZɾFChWYw;)mĴz> </EԷF;8-.ߑf[;LW'`<ķ<Hueb@UhDx@,ajV܆ ` :БICb}'z` d%Ae@Gw FowgYZbf2b884d6956ac2655836922b17fddc4c16c2c03fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a a1e522781672312e1f588b56735f675a2a723231   IMAP-CRDT