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 //N L ]/]CRDT:threads=4elapsed=17.908cpu=68.244gc=3.144factor=3.817zXZִF! $]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Wf:}bgpT#1"2t-r5-f7E1⾎Lu7+>dpSD4dégମQ(ҰܕP%mJ[# +[y8\Úd%@e͞XlZ @-ou11̹+٬q. Vɦeo0/z@7ͥ3}NzcI=ZZ\bߔJ ZA>Ћ7ְM4NϚ; l`t*HDVWڠbvV׽83DloH !I{<5}"w^pGsH]ܤ2x(^<.9W4!6@BK瑊 [2v5=./=.OG" iqD{b!8x] VAczWb;W+mvXi] ] ҌKc/KTLɭD?K+T;t$<}T|߇E0 i)k_+<[$3 א-+m:X-?~~2 \kApyVFec-.兏ʆB>NO=Ê\C7q- <ՕkPOCٶ8^w_x^jBCM*$Xr6f`Dnow@-J0Ku lϖ !;'5f-݋>t,諾~ST̀$|%F_ŠOr iVtEMUih]q 7sҽ4˲+si/=781:um}7vthδQ"1w2ܖUC'8gzS:$` #mg]zŪ{ 5 a).}@BCu`[|HFѤ8~Ra@-7fj6| o, =g1{ēP5DebӚssyK!i7Ú%oLo3Qb{.,q6?CzjY>M,~G IJ.gYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLD 6ѓhD&u熋eyB]pa>n.PS̢W~_.tUqșb:FzedJB.4ٜŵH}!hwx_pm_;]G1 wd(^倥P΍IÈQl_3n.nowͩN&w,p| sdgYZ7zXZִF! ~6y]ŗXi%BqB?-@:Y9\ؤ+91A:Ku < Oo$Bb%,q:/aQ:t;ntcgd4d?-_ ;ȣ%$k?~({|Zނz 3 )ZLJmIKm)OU M1<#$=t;V5F3nhC<?R;7k NY@4ۥ0-=C͌%r3dƐ&(*1EF*qK;:%҆QHԿeoV.¢pq/GAY59F{g$Shv\(i ١y=hJ e6O vy; YV#z#IJW1/%D.7ӭ!0%He̿-{^Yf YEV7R\CrX>+egP閴I5kHJ;f8Ro5@;Zn?:6WhC\( 5/>Eoq0oCE#H'i&39i$ 9 SWz?cnzezQ[9k|3'yga5z㡓& XgřA1JvNqteRII/w9FcJ7YXYL% Ja?Fc@D^(tGuK-1%ҎΘGmEx㥚^$QW !:IIwgQ2)e4"P %iylBQ1#CNz!b7D m]4ϮΙn>G2_ɝfpz|e_$L # ]H,Kn+%& -3;'gq34fN3)7EW}Fbӕm4LǫLW¶E:yVu` P9TY6?_2f}~a쵛\ 6򼁇^,},…TѵYD?>Lhmҿ_&?N2:}Xx2݆8;*xDhC;Y;@>rhO^" 3+!go^3qV.68{y\ha%/2> d'=ݿzz"§{Sm}<l-r:~#.4|˽hh~(7xP!D!MBnDK(Ӈ~u$ s-g$${մE !CnnCf9wm)͕-e\UB}/CL|I*2+FM۶-A'D $PVhB(hD1vsPqT fVNhu;1fp n819eU%-:\CTr ci-ԜηcWGm}q1xe =<X)I3qx ~hNLXy>w¯mI3?.eNA:"syVƶY.9ƛHPxIJdpT؛`5W-(==ѕhW3 "p=U}֮mXø8E1k!k$C1< J:cۯ#f0Gኮv?~YOYMZB~ xPbj\ L\|9WYͲ2϶nj';=r3ήNIS8Fv gYZ826d5517234a9d260f764e0a97404b396a4c91a53853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0203b07650872f8071480954dad52ef6e15c87a19  CRDT