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 F/ d ]% Localization_Ring:threads=4elapsed=27.587cpu=71.936gc=1.028factor=2.617zXZִF! 5+]ŗXf[&!вIփ+LPuD^>xapFP% g e0>w|pfCuy,Sm팛6zB YeՋs ]riDžK+ŵC^lXPk^qƚ=D>r`c?xGxgBTnlh~|rų[SD_{uPܾLh/Wk%XH@Eд~.p2tqfG|boѰ<(ztg'&j"@҉y0=ۓV谮WЯ 6;5m>" "(|?Ce1cOetG[mvwx@ / Localization_Ring  'X&YwviaXE{sO͔ۧ2lns<+oA_@w ]V f9q& gi%ɴC&O睌Qx OQft:q=҄@*=KF; .0yW'XODy>6#GA_D25奁Zo96MS} +j}Vl]f*x_#}6O6A]ySv?~c5RLq/{RaF=Iug3ReY'rV6*Qp'@D9h@'lCRՃrL(E3ᄄ5L%?|ht G^ r)opP:gu6Lʛ04_#'uu0~Y `V©P[~|vJp#o VpiJ"ˤGj-aTѿ~^!xȓs'mJ>Rd@E(e*BLGd]p"&,{/fP0єl[3[|xJh !׿N܀{HX*Y&*6v~x^KTa.&OڞHj2 c zt*+ UX.D/'lk+a#gYZ7zXZִF! RH]ŗXiɟ }#xLG_^ }@]ŗXi%B={f.m$̐]@-h'Hp($DTzf}L嫕wM| Ȼlcs.rzBioF:ÞRns$(g}s:›vPPB׭I=WmT0Z f+>#:|ew6Du͐nd]&5NH H|WHK-NsZNmE(s.?;2j͛YyAذ\/ar_$tH0}}&TTȡ<\vGg~Q_i2?WΖ.mf;c㣼Cu{o~Y.mDO#> \3RCGה _}~y5Dm0:|bLZ~2.ə[\lc3-x)r#׼Bː-\V8#C D`([LM92!V-FD 5;"> 2Vpo> )pFQv948(sA9.9|۶S@?Lphq)h:mwpJ1H"3<9oҦ$PIYUťyL/8I{ }-.K@,`̭~Ѐ`iaBBgctU֙w"hp`Wgkze t~o1/  N rFhE͗˸PBWwg0sU{pupk+J/Sw*-ڢXyZ2Wp%U{| I(/k׼Ws]V]|u׿+r*;}L\ vMƗ_zDMZ[b+sUq_"K>H^2\[cSP6P$}iƍ> tWS7">R(wߎ]9 :RD#rSt/wz:TDq:0xRۯZd}yiJHie#sE!_O.`a>W$yA5/-y p)He?D2;H; 5rL~Yq!#<Λ 1;5s"OӚ~T3]GX=AgnOڥ"Onhqل [\[Tw"7YqBkg6Ȅms^,њ8`J"5 4C2![ӌH6kL)IID)ꌸB-HsB|Tg\û%uSa {)b,N.TA)"V 4I%Ro@-?7yE/=0fڀAEYeуOD3"v~Gܕ$7:5ի[A%UVJCߞ2 tmN5`ox!K5čT +ogvAQCJ(K\\3W]>Ћ(@-"J2:IӢ.ҍeчABhΎ)^X|d35Yn!5s)h}-:d5Cҥ 0S,_O$>b0l{Iy"Ձ$f9$%1jRߋ̑f8^޵S)6feQ]uu巏)\23fY'b]IY(& %/#{$qOHp۠JhW-:)Zy`].НNpƹ7L};/XԊ}md[ d ޹xlu)C-t?4e#njZ@@ t|ɑ\g!2ڜo!5!C/:Ynthme@ps 7B@f] @amu Ug qQAx:Olw?x6?o^dƩ.fu&\\8ۮ|%gYZdb9bff748f34ce9f0c7895fceb93c9a642ab889b3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f f2c192cd6f3f44bc765e1f0abe3a1dced3efd4fe 207a6a1da5510dfec4c58c083dbf6599104a94e0