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 {{  , ]/]CRDT:threads=4elapsed=17.349cpu=64.812gc=2.936factor=3.747zXZִF! &]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X؄^r4rx]_)yg9FWU\i{غe_f.7|%BmՐ*Yy asd\*[ɤ{ nܥ Ȉ2!ϬJge^h 7st?NA. -X06'D"̵h˟jwYKu9*=R] [a;ȉ-2%h5%-t9Si[Uu3{.4S@ĴPn;4ך &KK( ̓ZH-Z&  HMPkDR4Vt✂ǎ@œ!O)eP`z !2{Lre2&K Ά}< _ɠ0Rٺ 3QZYTLWyyN_QdJ013346@HsJ08,1\:2(ő}:4_|:1vvqG{xE*{m"΍Nr!9_CM$wD%&P lP42dQCxHrͯCw.dgU/fxΟ0(a'&׵12ϗ2`ͳyj}MѩFl%Uf/$Ej`jnoV﷢S%$핯JDp3z"f8^ӊD +ٶޠL+%sb;ٖ۶aza8V w6RʁЙ&Y? 1 lSg|G!CMmr{tgip>ǖl<+:0-+ W7$iŜ>{wU1V 5]54]~?]USpgBXf/gYZ7zXZִF! xq]ŗXi%G̉SW-?2"f&{JKBRnLJ R#} gK7lA '(^s0{o Wk:P0ž0,"e6ԝ֩d( faօziDd_1? o1z;笤PY &q ![qb` q G@;ZAt5Zz"J"04Hj Mg62[@,ր͚ReFۈd_owpgsH4pjU9`%`>-RWs5juu)$k#֌N1'X=3R}H9"KZɐBAq𸄂ǣD@<[P6w77|SԴ-NuZhQ9c$(VlyʺAiSTkBu&J1he:L!g5[f#ycipɛ!-u^p `VҾ}\Ȑ,N2RB|.s9T{e+ɭ AP0\#F|]'X\`\{DfHڔ:^;j$"w f<9ˑu?56Gp ;wܑKHo}gUrqu#3+w6B2 H\7 5[Iuz?kCc~p% :uJnٹsW-ݮZj-x8#3 WXO% x[E,zڃF'vwtVu )6ɱn A[a "ZSM;lC<WL:ZQJ@$.4S>Az)dH[M=X-CIpgD[1K,#81DЂL"Hlt)Psa9l഍BWH}7"TmgTP)θ@\=f5Ӈ\8tR˃UX.yJ Tb%SͲz|3mL|[>Ѓ&}:kd3{(zx 7$+f ŗ*pmכ9:o~K>б<:)~bGtuI'|n]w;EMIoQ+2cdo>T41^.S Ьo`Pq uDy9ZM%?I`R6}Oj9{tiRO\/z#J)qCSE`榑&KV4ީiIC$盉ՊUu݈x֨P,fP(nBB#6 k?Ị j킛gYZ454b936e62ec641b489f700f38a5cd6fc4430a4d78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc5924b02393f2720de87a4d51c398b6795d6156e6f5  CRDT