SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 z ltL ]/]CRDT:threads=2elapsed=22.288cpu=42.572gc=2.292factor=1.917zXZִF! S/]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&U{?q~ԷUf9&c~;WO%CmPuKR! 9C,myw:IS# 3켻`*W+W#T/=݉ASIn3׹a_6gYZ7zXZִF! {9]ŗXi%>glJ.G>D7'c[a:xR\|ɮc껙9SO{tPhD2ȆSէݞ ]w$+bG3!Wбb""H, }<ؑ^G?uUWXG@)%t vLau`ylqG\9=S`C?3 kf;X8&R`|< YÅr;^eǽ;k"ǹ`pDB6۲&N3.% yق&%ǣ(-jLvV H6 \suS- \i}L7WR=[āuu?3o` +eBթ|)o(K8?9>`3G.E3WuN;(_Ml /@ flB !ߢ)[tg/'W±#b^NlpJP&@2{TY88{Z3aR\f>=!;鮳a'%^v!{IIUˮ@v[<1P%-> k_rZ&-B1ʜ9& "֦)NvY~]-ƻ,R۾5C\Ũ?Ok_bdNQ=NTzNIfBTt] 7˕[Y͖cSߔܸFJ_\Z XLN}- ẸŁΦ^[uPq\?7Y[~Z&͇z9̺6Y@+-k]ԇ=|l?[WW@}LLA4_3N$c]ElUv]jbF ^?zj;,_.x'+fY\qeh-%L7~#C qg\ף9d"!$<7#P?Me,-W}!v^l3 +Zdo{'[G׾=55@ VyYx˥p_1vZԘo(SCHl!4雮')Moo@#Xܸ=gYZ7bb281f843540f98b79817f929b20e88cbd49e1497833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f333f1d762480feb959995d90dc1ed93eba2fd5013  CRDT