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 ./ tD ]% Localization_Ring:threads=8elapsed=13.588cpu=54.130gc=1.331factor=3.987zXZִF! 4!3]ŗXf[&!вIփ+LPuD^>xPbpFP% fe,H8 ~xz%{&"SiEyFDsTsO_ZPuf[}փ8bل)3wE.:j tU~X$`xh˯@,d Vs9 xuטS_w'eM`K:﹮Y1fUu _ȱ1S&[GL22;k D!KӰs`h 'pt*6@C`hSKt#E)*]Nʅ0p(@t~Ru;( GژA4GlDBrmqCFlV%8eufծ YzQ \<(Bž^-O|*5K55"f]q;3 (NMP8ž̩/3O c4?f:T>ǂ?3S_9isGdlm|!p4$η؟k}94Rtr?$12JDvJ"6ng_)D` Eq3V%PdBmK+OQ$9窥ElH`LQ 2@fpN˚\Tyx6|=г_`:ږ`_$7r\`%Q/E}*j6O.t,*Cά7F$SJ7Bm2&*bYŴBKjMΖ%(Oއo kڀAmh!Ѐ@&"WUu|+{ sh:K^*|DŽuD;'&6 5?Y՗|IE@Ȥ<|ú֤n]u "V?^(wrm઀_=v2zoaK0emQZH[YCkx!%ׇ-([rXDOlgW@ _I6q]`buIGhkx=gYZ7zXZִF! RI]ŗXiɟ }#xLG_^ }@t{P$mQgQ4 ζ#@,O2)Zd*x%:tIyJH8yAOI21pdBAd=*ċO~9rhs;l %TiSeu1'{ _'C>3x>u)&!#YpsS2!0y4MJܝtyLq?uοX3`B҇ *خF=wW4 N\ U]EGl@)ai٥L =Cw-p]J?l 'Ol4[WtLB;=*."zRC:i%ᶫh\hDы:w=Xe@\ 4hɵGQ8)=Y!M׭PNcQ`*f]`c?Ws6;229:l&sZ6t 5RVȡ(;k,", r/8t\3DMEty#oBWn `2#} 3"Wy=>眘/YY:< ?pXV16ʉbڷ^i9uxܝm̓ٺt{F͕7r=EOB;MRzl^*5U!5si尚$z :Pson=S"GoL^ Ll]sV[}4#،2&ۅX[k@@: Mxa[ZYeydVC",nq~|bvʅPg-ֽzzQ][}ʚE,C {cލӘ&~Y+ M!!{z;pQP>,RXe=k{|QGqfH$iF`z3KD~sd ~αgYZ75782b47fbf33bbd7722f6625da8acc0755098e2c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 19b45f5ae2df88080122fe827653eca7fbdfd042 3b45769a3b6b500524c843853f63b3c3e722aae4 / Localization_Ring