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 cc tt ]/]CRDT:threads=4elapsed=14.325cpu=54.632gc=2.464factor=3.817zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&U}{/Kf%-jsKnۄ[I R=ܥ'ھ=^\ipaXy˰E.uM[Qⰶ3t(ʕJJpGܭ<,m"USC؋oN߭ Xne&ysJ#\bT(*yS>u"łPQ~Q$Ș7b[z@(95nF`*/"=+-b5F u:c)k|'$ Jb|lǸѡH3C7:-IsNa`Hs:*=K aJ:h.^#WRq4y# wzx^Bv 2. M7ݐC)[#R$>aE3&R6tNQOfBm |Fk6H_6:j4Q6MH*/}1=p5=8zP7T+oGWt}U, I7 8-pQ+UlK̹mV qR,e,SdpYV1 pخ~3_ ne,@"4TVZ|#y5̀u_u_ywkOOU^aIE<>pHTVSɣu=(rEm?:Fy̱TcZI5 (Q| _e[›p^?t.dL WU+rQP"TvQ_){U?P:Si(vY@Cj[m咉q5s)wB6WDA@׉Lv\жv/`OܙrM92??`f;sšogYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLS*Buچ=}yIK 447)-2;o'7i&ik}_ v?Iq=,}QbvJOҿ"WzS<#uiȕ`Е !5eGw\#0Z̉}9Z[0+KYEDzNCPcC X'+lγכQ5 0[ K8gP`˳xnaջ"q6}1^ n##6j˝O>͝?P )38RXS25:_,-m rxcb6@7.x˰-VdϞ8 i@s]4hz+PZHA!bInˋF:]q*Xwp9I!OhŒ<~pl-&@JPev@]O/0ًJ (bZYN$ٔ "o 9ׯ$*w_!<~cðdA%7cBR'60O$YNpJTbF&?89G(JZ JW(gó eԅ{:FY_|\ܴ".G0zJ4'My?-Nԝ}@?bt;Y磹$Q,"= a< "]:RvźM;ZFhojk(k Z>wtV,:Tsb]=v I[YÁOQ4TpNEP@w}rё 2қ$/MZOSv|Vpȱ[EAcCF6v5">D3cҴkbl=P#dyެ>?c[_דYӹEǦ |jqg[>k26PZ̈́X M$0 K?CLQV\?]8Vg7t?KMRJ]G9;A,"Ԑ L"cH4Q]Ͱf%O3/f=Oޭ-?>NV1S]Q9OK"Q ڵ %;WS{ZU{ -B1 '*B'I爿B_N ʒeFZPr a(bPp=8&sձgYZfd3d546e788bbe842c7dcd46a0a26496d6f5f8e7a3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e22b9cb9bf5dc648c796718531a9a6613b484779a  CRDT