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 [[" d ]/]CRDT:threads=4elapsed=14.894cpu=56.836gc=2.380factor=3.827zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Í8)2gpk.}b,'n'/LY[L} 04zL=sҕ ETb VK&Ҹ.w9K4GۮtxrLؼN#n[؎)Գ x*B ?ADh 9dKړWj>{O>j I 96QO^"Q!rrhC E츮q{jU HyF1TJEU֧4h&3V&=wKPT1 x#uyTtKioLjΦ1FEϳ9>G{@kmNphjn@$@Fn!KAaK[W|[b%Z):k`FHb(55V*Rl#|pleV:̫GAa/Zlc@bg(m?Pbh/ل?-wZcWPwC+v'.ꩽ j5dc=n lz٭Lx 0O!q:*Xikzw-B26Zs4 ]&fL51XQ0oId83QM0jzA j:P}' DMh'pI t!(D֢ TՉZ"A y!ȭED; swߤĜRWSծ7 mn|wxLF'Xw*$ʳsUP8ҸwuyXVte"9e<_;_0AI& P Dj,P0иN,Dg`iHъ_ V-}~dsp~2oC/`&!;c,]11Wb6=e$8 {#7a[4MA>g?gYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLd.$ѩ~s*w U9"u9D`tU؁+t,Ӣ 3xDuI~u!vO1|эK f*Sjt7f (GX2i 9ՁDKħ@b+_L:~Q}(< ̯{k' \3U41nHt15 Q1G`^Q#ޱgYZ7zXZִF! g]ŗXi%Eb⬗q$xI描ĤF!9{Ej|qֿ7ݍ.El.vfas?hi,ʹ[ 1j&t! m,BޘLe&>8E`<_(z L7:?V=mٮrl_Iå )idIik!Hq?%' Zds^m6}eRn o|9}~;#$hƽ3`sɡ`XKxc"Nw)^M\\OL͑7'Iv⚏@s(O;RCWhz `N׎Mى|l\,[Ul"c䦕72?piR+O2(!&ؽg&H)C du{)5l䢄+_iQWB]R0̝{]z+&a-5Fťg\XU {.*"SPz퐥u-7{o`lEݔՑIBXZDbQb<bQgU#ئm,;xȭ;> S8'I 4Q476Ei}{Dw% HvSV,B4.,sX/q'0. pkZMN Ke$@`g'WNnm:[ xb+6v"^v!cLw΅U+YҜbAY1(1#Ht-ᑾ&j SȈ5)>,}xutbзR&WRy:™=[XHɖPOA+)bqcI/leiX\;pdj6w61g1@!˝_& X\P8cǑP= FqNoRUWrTM=YYtQ_"u5y+˜,ATV ȴZ#z_:y+k1P牒 0Av*D\b8~V^KD!${%zۍ굇;)BgYZa9c409fa7df9ce276735ff247490a26d075e8c5b87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f2959188234511ed8019d9fedb9e24ecf989ad91a0cc2f  CRDT