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 X/ 4| ] Well_Quasi_Orders:threads=4elapsed=20.510cpu=59.140gc=2.604factor=2.887zXZִF! ]ŗXf[&*%5r+=~ȳL\Th;% JUO4UbǑAkJR748K7LduF_guK쉯<;]tRA,c`ڊ%Pűh.~Rۡ)X>`+\p6+qO .gDK$9T)sn3{RW[`!\M`sz?b0˴͒<⼤q壯`dq*rGpyw,uĺl[-+mk ~ '`fA30##@,[蝠& '>W? / Well_Quasi_Orders  P*tO<[XoЅ<=KyBW g8}O&JGU_}JܹMz*>J[a|} UAziZy`}HgijBBm. )R "MpnGD- afg ޜäK>£)"4.8J钃0_M7jrJbϻpEB]HSXVag4,9-˂ nmliǹ77@-<-%ס"vƩ1\6bg*ɛ ER+h"S/+ < LVk jbltp~կ%grT^fER&B V&=Y_$c[W-B4boSQ ӚHHAsԘ}K*PdydF7@୥UDjkPN"]DP-Zf4 +(j 5(h5ǺF &PO f%9qg Dr5IlnzmpăL+95gn~^Fk&0}υ,~Fq1*rf$:5z2(gwu]eprXJb. ;fIgYZ7zXZִF! 5]ŗXiɟ㶵fL4i=J|92ms;ә_t6Yq;wi:ˎ|jKU.1i.Oz9vr~R,0D[]b1a՟˟^XAb~3KqνrܽvIPGfZjm}.#3_E~>jZ3@n}}iV(+uV m >+iÎw yk uJGwr̯r(I_IΗ.}9֙Mfj߆gYZ7zXZִF! $]ŗXi%G̉S"&yvJ[v9M*J_d$ yuzU|oOߨ/r?v|eԗ"z;PEV%adrlk'2n ('$+Ʊ-_HPU'f~T o$1/%H@}fu6,^ܪ3%>k6l6qNvJ±iJtZTKcӕkbay(/iȃ7:5&LyEªe F*q赭S];%J޼)$?n'Mx%|yh]\{GGjX dkNm5_XkbSn8VOEy@ijً4 1SU9z5>+pnFj,tV'h3;'9WDjׅ'Ծ'<1RG^nnF TuR.f.ڙ XFz h B` 7614,/IjmmE7"kw]&1`$CFh| z3Z#-i*yH!V^Kq291x"*7TφhA?ʁ9'R#N-}hK{j.<-T3@)3P\r=ſa^~>9"˼71µ*ne>I.Aٹ( 6VBV~K]ok+ZEؗYxvWdh&Ô)+vL)6np2G{|JT+.f2Z$cFal2ٸܤ(/5(o|(kT0[g?N,+耙NS.楧%aȱ iS-mDړ}+޿nim^:3ĒyyDSDafk9盢L6,|(NGW|րH39Շu̸_j~X5MFjJ*`3U31-DR­ɃϱzQ0_lk?(sXS-2M0rl+%x  "S' EZC1-#UzJ - 2?_Ch1ps |S<|',z\/a_#֏xɧ!Aa+ta+pN^+C1opq> B e/`R/îA=!(ZBoh(=|`qڿG㶥뇷?чB.\*Qj'0ܫ)N5ķzC:m04C.$֟FYDqW@\j3qT,Sː@Qr3%dJnxuH/ҫCu93E;L4Ļߴ UA|}̞2AQv}?*& *]@m1bOKI29^sJbxږmZ@!I1O)8%:9ZOَr *q y\J<Μg]p?}tӬ i.ڀJ_xn ܉O B_"\/1Gnd