SQLite format 3@ .0:  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 P/ , ] Well_Quasi_Orders:threads=4elapsed=20.626cpu=56.124gc=2.120factor=2.727zXZִF! ]ŗXf[&*%5r+=~ȳL\Th;% JUO4Ubx՘XWH>ZT:M_PK]?PJ Z(`EImғ d>u`c rs@q-&dC?3hju\v4bjupvᡬͰH.}$$vC$+cAfR'.2&C]w'g=|R:0Ͱw滚!5AY ߋ΍b[\ި[yHDǢxc69g}D[e6r.۱j_(-Eg / Well_Quasi_Orders  n`X+WXtjKaTׄʃٳn\߭+E =d!2N&_I+/Sdz=/ ZML|Ezwp4t9Kkj zð|]Ns Bh ^SO.KZ}~ϻJ 01ϱGlЊO}b?D7n0`Fw%JYXG!0ǻтB_I@amqGkMF2p\Y@w-fQ+sM;Ads Є2Րe|zHzpSe~5F&Rų?+e}gl_!E).hw4[ ;N]gkz 8EM*mz!nSzt7p6dg7ː[ܼlKSW"mF6n@:]#R3r҉m%bhnpͿ7iɼOW&&#6iWXQ# 0@H"d];Su1t4y}!9岋mQ1e_ N+jw+c>TGTw"Xm.jahI?ңI+V>V(9ӏmz }eLEVoets\9\6{RClD$<" (R6r96grsFBPd!1Z/AoKhDlldV8ۍ*6lI*a/شX:g64@KE\σ(R:OKKIAu)S }H6`AwA:gYZ7zXZִF! ]ŗXi%B:gEpV:B3`Hb]уfs湳7Ik,a<1夋nR-;{>pQ )8)I2^U a+W5jU5oNcYI[kNbV?Q@\a'-*.@ *D$: լGXFk38Un[{+ow3hq)3!yGBlE0`26uK(۴k ;gfWC-jdGHy(Гb]/ɡ AZ@R,Ȩ.a s۴Ҿ3mnMO ˶mQ"yz>෦4snVZTK㩎_fL0F0OIww `E!m֕xoxRBlӸr_# #㌽G`ZimaQ`J9dw_^ao\D]xDBNƨuxv0m{ym-ъ_:0 />y"&4j^Ӊn1D^\g엓1 k\37UCS-Z8JxS϶%9^zJ#2߱+@c퇙Mg'D,wOxgL.d妔'vxSuECE]ˋ3JT<@?,a*AjD(*~`c5t?bM 7E ?!^a+94f5@9sCx#о7]%"&͛oHzvſwl,=MZ!,ũ%O| Bр2 $Л6ƴshウ,$1/Ҥ,E%sa6:f}`NӾ,Q>(Lڕ!WN@آŏ9ɕJ\$$ͼa9nOpٿJ :{AZ=Yl˷G8z}-'W'd b_V4$6kpGX#J{o9Qѧ{c*3m9ȖRN@ f?otUQa%2ܢ-XflJēW-pg;8\NK !}WkԊyœ ^wdd O8Ӏ҇׽qJ9=Xkmh\ 1i+R@FV왊'KE0tb9C_Å%[J ܾqX!:8_ zרmN+w/S+<"OWT> ' z20i;u5;FE&_uՍO6>$Iwer %@iB柙EVL=Sз݊gy% %uQ v~M|m}<`C[.hǹ%_푟7=pVyOs>.ې5--ksI@%b݆=&zMHe!_e f+GQ(kx%܀Xk)oI.@Zfftx'b*_%QV.2ܴˣ9 n~q6)q v:\U(NCWB"=+hHZw*륡ns(~3?<0Vxk4kROeR@#E5Br4.=2@tv{{igYZ29f8167ff268a5d56754282c6d2b2d104eb4847d13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5