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 8/ |4\ ] Well_Quasi_Orders:threads=4elapsed=19.772cpu=56.316gc=2.132factor=2.857zXZִF! ]ŗXf[&*%5r+=~ȳB\a$ X\[3_m&ɲfrUf1 {F2e4 `!MaJӨlWQ\;sa;LOlØ!r:{HyLiҖpL|NwOش$(!I7.$'CAP9;a J;:' ).S= qrh؏52 '`#W4I?̵| %KxO FksDZ?[.C"/4e$kYrCW&({/iWݘ.Yf/=+p/ / Well_Quasi_Orders  SʲT:٤Ql#1T&$%Yrc]>ǿV {r8 f@q - A$nT,S dðl'6l]ƀ Y5Lr!A\ý2Yq4DObAxmpP=ٖЃ*!}9m&z R=; [@w\) Jv"C dؿy%:tU榆 ᶿ'/o`wN&9|%|/v:ЯL Aԕv4aqȚdZ'?J'[ޖߘ ϋ{'86*%~ل95gYZ7zXZִF! 4]ŗXiɟ㶵fL4i=J|92ms;ә_t6,KL! e$:s]ݷv%ueHe2aܣp.pi7{V32b.·^GV@N} A5 M$%^~6dLo`ʰ25۸H8q?Y J~-Z~h&5 .ǘ&VGN.Ez yyBG_;m.'UcQRk7'yW,heN8??<% Zn >l֏R!*b u6hL{>1r63M@||Yd$B",>娀XOGlN'DKcr2}'壸BZs眈MH%ܦ0e4?؀s' &UP1HwHa#-㦙w TsaJNs)r<Ȼ/98Aњ(- gYZ7zXZִF! Uf]ŗXi%ES3HfqW99"4**&JYʲ_]/&He4!D2݌@Jcw@"NQ͚QгȤ`';xQAց-7 R.gzSh,LEura  wW1>zڸA~?\"hP c6O|NW GgG6}>7⁈bx4֔K@ d+b[~e)vT׼4' EOL_q%71 \9,`٨Hhǜ^{ NRda0 ,~ Wr3],n1"[\̠BGCD#Q'uhUQ]Y5q5GPr-dEf*!syZ趹Nz=  d8W,qYBm ,819[D~f؂X_ )e0_^aqpr:W|T?UZÎ\4\|ٟ''$mS ~,U>W =Tc7͋"qtd<~_cD->zZE41 3nmM>+1WJ' ړG_YlV L4EAwY"0Nl1VqU&Ϩzz 3Wt>TKH*#`E,jB|(d?9k>&,T3E)wdqLs}E2~X"id^\OpQΓDzۧj-7\8zuHn).Ĵ&iz3ϪteRN3{*LbÞ=q:\ifŬl"F29-տ & '[YsJ,[\Ю{K Xn8@Ar:}V+/q"\o>oe~ c)d`6M(*P1IIcy >+obyKOص #&T }׉3]?r'_"1ݴoCen{wiH~Ŏuh?$_!tL)He=iT2HuGA . JM2VKߏc U$.N_,<@]Qy4D0뛕5. i YlwUǾ2~:C7?j `u̷o&&.Jޗ'h zQG)ܛR|2/'~" dc/6PPZo3 j 1$,.u۲*-O 3K6N|&:(mzch}]I4G0c_ n?`[VA 5a(t4V)0 v*[OM/F\3 TXdPKq>j R>S"%m7a_9Z`bjK} kHʰYfu(Txje dla SbCk'A&Xb.dI;bJ!^.ӪP4RdC"<ɲpa:I2 @u0A},}-: #녶ŧXI H_fΦ<Ɲ1V dN̶ Eda5fK0{O M5`m:} Dո%Ry Zy  P6  Ԝǫ w1}_Akb[kԄk:\& \I \ =.obU4[0S{ ?(\ R'N