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 WW&# L ] Shivers-CFA:threads=2elapsed=31.262cpu=58.904gc=2.788factor=1.887zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uz*<<A4U_ϔmg(7.: f/ IP8;>jM] ?tk (HdFʡI=7\[U%b|JZ׿ iWr1>:ꮈp6mUnjv.ůӠnR1͘ âuGH1JbHq%h QkAqso(Im>" ҞtS]ld+-ڭ EfCøOiܓ-ZʀpYFɱ !1 7rCAM0 +qޏmogZ_ ڎc<Ş'>bop" 2s >R[WbWBLފzlF|T^qWnȳB{t6 rN/Vu$+9-I7 PCoPR %r#$VnY-w}n,WH4lȷ9ԩ_@OLFP<DiQ{aI ׈e^[s=YD1R]l1b+ggYZ7zXZִF! OA]ŗXiɟ1˦rnzx <@0+gMLs#.!̉|:}oR&h- jG*5#z^H| G~5ґYX*'g=krz }DV&ҳ]S)`>Nn*BIK,ay#Mݍ~n! 6V"WYgZzIaHB; Cki{["g,{S1 >^]DeRaUBL} ԮjҘBu7_^333ڕP3agZdq!"񽼉p[Szx5OIȴM @A 8kM/Ł2AP K<6x'L$c,&q$S6OаEuSōfZyՕA}bEn*t+bӢaYQVS xկkc IcW4ZMsy Y$ݻ=O||Z|q RD\$#3xtP÷CΧeZ. ihU?b\Wߠ.jMԨ"@1M`9mZI)AnOcL WZ篌τj.鰂Dο=S G}?ΉC@]I4w8&{-+ hj9]Y iS;*7 "\- ofyI[Gi+_[0̭MMMr(*In(Hyɂl Z`F,0as#-f{( e"}8CI3BqK?W)f#}r#6@9 bu{0I8[XH$/ȿ-21JpE<ڹdG)J0ӮV*}7b"FUy{zES7b`z{} ^hK-mn;/KmHN̉U]yORJL#CNF+y,8z|QA|o] 6Xij2'ǐ:.wEd 028< )l|ĕavt0e;h86e{=(t} :K봭oT#dŽ߫5#åυ5:@*,Z}82/&ޣ.*t]Y_JW6~kOj=if~o< kRoCQ7@8k ^XtI JM#ؼQ̦7zY8Id/f4!{j1Q )Q^1 e}0C93 C}Y(ԶY)F>cW,{Ȳ@OΪ[<`=t!`xAGv^2[jp19ٗx\W*`T x\= _#[jٷ\{0Rti8 M/.Qelc@:)$YLjxEǟ93 |V"ᵉP/\Y6߂n 탃 2>Ɩ 5 8Pl.h<\qool=nt@Q.AdWcXժmV9[_^7KO -qM鳞x3F9 R #xyd0mg]w )e.)D淏/Ctò3(y"T<.22 _$}gYZ2850a34f98de4de3a75bdbea73b7f2ad098724c6a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 512cd03ac7bf341bdb34573bf9c7a4895277fd3a # Shivers-CFA