SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ./ d ] Well_Quasi_Orders:threads=2elapsed=28.825cpu=51.708gc=2.736factor=1.797zXZִF! ]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-XchȫBݖf5d`d\a gw)8{c{PD|aq--㚻;٤ZB KЦ3yF!ж /)T@0c` PW Hkp""\i=jj$iljݑ*x֙bRJZH*vBp1UPsuw6 8ɟ?dARt(K9zٿG %`\NQ]Qی[ o1d$O*o-N3,/<H[OEߥVܬ0fN"M~ubC² a]- wXŞwQ꫸܆S09?w e"ݰPC"&ғ,盞-@4K>7,! []" cI/(Vb&9]^HSh\Mn@W?_sW_L0R+N;]Mf_cL OTQ=(d QZ`s ,=grT8 SY-^+p$wTMϕޛ5Y6連ԧ3)-"9 OM:m@ q䒬G3(]NaF6)\b>+W!?W+oλgRǯ+VOz ?xE j/)d mr˕%޴mL ziR@dfMSKb}W9& o 9{ǙZ4~?BXNggPV&d2WRj1Hg\  BS],Op%RhM74fy𳝆n{Y '7:,x1ln}g nbhS@$Ms/:Z.;lc-,Z70&l=CɈ _爮?F6v7 ,YBs |׫Cqb(5b%=6uCPQJ6tV@(*)qK*BQ{˾oX&f'q:c(x9 )37XnYOL%(GQFUC%)֮ mkhKͱkK9Tβdҝ2HOZE}֒ڀ3pE讼ٝ Hʃ{;ٚ%@=9$oR,ۚ*;/e|m2iHE+ӃC`L/ƕ$.Ȗp_$PFKד+PtfuF21G 0zbU9]>y@Ȱ9GCgΣՍ1/G.nZU3Tr@Dv*bͤH-_m,#9[r&x"irhHym|v(=VYg۷ 7 (z@^R 4]K\si/~GF>d-4T83AՐNlfrOF}LNrO(tz>}C\(jb~zC5eVIkD >v3&U-^ =X% ̿Ҝr /8e99~!Z z1\ɲ$̍hGhVf\IW[pU2ʾ%tUH2[Ə@g$31gԌ'0g =J;K]qh:%$rȷͨ 2/xHH?<uXM,Ps"Udo/[\0Kt ؉gYZ0d1683d90d2400587e44890859501fabf3069c8ee003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 / Well_Quasi_Orders