SQLite format 3@ .;  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 ;;B l D ]/]CRDT:threads=4elapsed=15.069cpu=57.008gc=2.444factor=3.787zXZִF! *]ŗXf[&Hq5=c lHs.^81OGl ~">_:˹565@Zobt~bpe~ܦl^ۇJ 8rb_?6lDž2|Fg^*DoG6!n[PN4&}[Ü$.䅀0dTvu.574#o\0zlX"!E0[{B^9ߙJk=$VwR[,v߄L|֬YM[P\_cU`fq1nWx.JZW+P?UwgvN&!YHEh:<+Rzsqw5=X.i? P=##P+/{Sxop1<[ F9䎺6pxڜ%De{Z&#V.VqR&ߝsNcV4^;瘌51'sr>uVi6ҺVTR!uSiopKeѷT=.g&[C?,,sه[Z?tUV~+qOAn`O ,(Ŀ:̹gYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLSi>!{ 4L|-J)}t0 D&RjD?18䆭D5(+[+D{1u~a `?~q8џ ҝY7h1)W+*a^%E`bX DZlW$~Q$Μ 1٧~UW|~TZ1pW9W)Ō`1dbTcBv2ZW객{y1 r~>U+&[X]FדtjZ*_>?&Gy=Ğ^dPEKbCt9ԧfF_edi̻#X">7myyr36S{wQ׼zIu%(biIH?JMT[(30 /3)WT;!d›%I"qAttqխP1w=X՝bN&ఘᇮq<"v:;ZoBSu9 =}9q[ZIvu{tg0PF]#5Y*)g"ՁU>^3@g !v[pϬ &JcYfM舆 (2s(:7 [$;Tjyt0v0M΁m+*7\SF֗ ^ynIYb7+葧n 3k8 &?-̬_!~B}+/Rw}U*Bx塐˫1ؗ4FT|v`'CIq;-j'Rq6 MJ5l+` NMCq)1u iJ҇qd|=4߮x %UcX;5=p8E953-OQBM$oԑYb{Ux…?C"Yq%.# 26 I.YGieGJ^cwr=Je9z]톙P!4J0g |Y J&Rlg l-ęlz#Y8NwŢ?j|upD'pu^iM'-_`NBKɂ@R̭}p ~Y6-UҠ_ hLP;􄯔g\Q&IOc@dxz4 o\φ$['y\Vk焝xE+-`& `0Ds㓱}v3-I@'KA퓈ybv0DЉsJ$W !l˚"Og295Ћ!S'PYgYb^ "<>GR1郎Q|o[ X/@NETua]v-Uq'WK Mݑj5Xu2e~\t/^;61wipr3AD/BWN8t,XpL4DQ,GZZ HgpB%~pld. qRyߌzNlƔp@"Ƴь4( ºCU#{9iH4OvZxq3nibUtqtMo;Ǩ~ rH0R?Ba}%: ܎3=T,t="MeM&/j@{rՒ÷; 2$H#J{(&U^w'pboݲ"' c FxX R CrgYZ26a18bb788ba8182108c94483f446ce552d201cbd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f200665549a8be735c052074d46a827da1f0cb9b042  CRDT