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 ii/ |$$ ] Well_Quasi_Orders:threads=2elapsed=26.573cpu=49.352gc=3.284factor=1.867zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȷ-d}wej_ZtM`d"Dc&ctt 0VΌ=4.YU[}K3tbQ0?:hYhi(-iJx~!369"dGu ] H)r_K'Veb;\ZWG=nF7=e!Sq6@8&~;&= {js1_')%m*lhr=8FU \_ddCX -"Ztbw[j#ʎCxhخ+d i2} B#խc&u!E xh2cz%ÐYxc5-yEo r>g4m[Wq `]oM"8.?(ґ{%6ZOb*P,×V<4@{୬f-[t"{SV+e@ |ʣ.;~lHjm0k> V4FwTa!]K?O5Hn2s!K/uTJ_.{ک̫a%@+r6V ֈ)scH2V?x2yWS.ݣlF>h%uEw4̔LŁNhz_:M-+a;RA?'v}>RkE",]V-rHSuX$V!_ 9Yx//joɹgALBWH]n9]g_ƫˮB31] xon!pEgmN7p9gYZ7zXZִF! 2 ]ŗXiɟCrhi^IxDY?Av|4uJN+N)4cљy$Oqk}{Zgbɑ.]i%~<8U:'vk`ʪzDvq©z(;Ֆό*bpM/.c}|֊J~o|;<=OgwXIb][`{K'Q^d!KLV_ȔAK%BRٕe,qK8 嘀x#u澌 \&h۱_<|P^nRK^jI ZEβտ|(+ K^*ElԎzĴbX78EC0E#n;c,.Y`r 2^z ,DET8,ҐU#,+Yx*xSoJ@u{.OykŻ0?A`xDe,{)-ƱgYZ7zXZִF!  ]ŗXi%>gt{c"Mfj`uYK,J̆Nh8q[YCI# vӶ7N#XNt'l>PZapY N'|\3LJ àq(lc֎ȿ%װ/ \dm?|cdM@zJ@RAL ;,}a&{>kI~}:UBVtY7}Y pM(c1g-MC|+ļX L:Z"Y+ҟBPnv&AU'w&a@DEhy f+grgϤU! EV@E#Vv xg_l)p ׵ؖͩPZv]5U*Bu]'=uJE$VADT4v C?aqLv">FfH/qҫ#8fxkMˬ1eNֺ% $F gCHmg>>q}5FI U6 cEs:=.Zx]jBhA>|5*\,C<:<AxBOu D&Q?$LGN'@瀐"fhb~&H UJ/G+"mNW( MY}UzS{~יtޔ!GNO|ңj/+) ؝+|Gb3_ͯ]Un1!prWĩk?)_d{ LۃpW jo1R轜~J){ q( i]IB;Ja͖[] A~)e2_1#B0 &eЁϷL%BF.Cċ,mN!C&H$(ҞynFrM E9:GYJ} ["5lעĘzo8e"+d2[430oh=J5xRF,T[\ XgnX\P@: 4{WU&}U d/3ޖbTJ!D~Po4CKW,tS ʖ W%2E3L`yu#T[/Qa L'Ƀ,n5Ѩѐ{U߈J0Zr_Y‰:P/8~mNi9K5cXa:"ۘ!|/]("_/*)HH|(Q{ G^HL?$k (rlƌ9qzq|}hRgNj//T/嚌 gO:/Pam ٘}S,fm,<u*欢k˄/]Auo2@IIf+ )^'0-_8 26LMϋrӄ[Fhu|JOt|8"wJ\}M < ? CU4^9@az3ݒvu 2[3iWALvZ~+!_jrwfZЈsb gɭTtU83fe~–1ǩZ#&df(Bdo q{,9,HI}5]LP1d1T;1p+=T MgZYjĔDZgYZ2e62010645e34b16c726d7972f2ede94727f71ef97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 / Well_Quasi_Orders