SQLite format 3@  - llB77#tableisabelle_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, "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.481cpu=51.916gc=2.972factor=1.827zXZִF!  ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+++8iЧ9z:Jc5V3?'0x<:j; w_&Gg|u@Wk7w?Gp)yB2 gufUH6 e ~69_ yw / Well_Quasi_Orders_ERtSvٳ J[T(Xx۪GqBrY1y6Agl^.L>`BfȐl+3<ίognb[ Ei~CMّ4ZZQBV$*"'H}ZBf4+ Y^oVmn=,p tvЉB+Σ1!G2Lv2T\$GwYꊥ木=y.YzG/'jZg7;jD) UmǧpmtB)0J+4檂:ʚFhY)c4DRBsm,l{83IwJ~v%pPt?ؿ( u| vm ~٨^׳dosE9->`1Ytzj U?lc1-vN_ ['G}8 crd@o)׏<&׺At`%x9S&q$mOMB`ThX~͠8Aj5]8J $L䏞\8^ڬ \@tk7|ɤx܌1r-=?WMVt>C9.f3c5qҾ]~v=K+(XIz=Pp&F~%]OPo݊mD|*ĂkԤ,"ad'I+:NKf:+ܔ眽#0^x!L[Sej,?U53,+x ᛙ6Ġe@!* qH*%zi 6VhS~\5cfH mMDXA#>܅ [& E$) ?P4RMOggItKʄ)w. NϤp HLV3ypd.ԄCܽX{$LUyߴ 6Jp+b?lt.>o> r/3|f7$}Ccp;:niԝd[,+i]V{lv6Sd$}ǧhYaroP*-zhA>J$ tQ\S~jZ8hxy.Ubp/kŎS" d;ߡp▫S',Vl<5%-bCzԼxmGU`39?M" 6]QSohGerYS+'مqp!) ો C+--?):7&-#u*ê=ˡˣ7SRu4񿆝*Hh Dž@e S}M4SD.{z>g^kO1;9Ss}+ ʴ֕x,= G"WI0u iqii#{$?l'."= '&iw0NI3: N`G:909z%4]v%O*t^X(P90 Vq-KFHw|q̳2kh dܝGRhHZ-+z:;pJ"Eپ|i '9Z yH2~=6 -+J((E1hVqwν x$T/6?o8bˆw <'NQL2bIg+}*Z:_OeΡRpe^h֋3oXM Nu(=FJ{BSe,v3ÉyX %an6~pMК={_<~M5E5<`@"g BJœn#v0'CA|X#ebgT~fC%n zU4FWunRp m,`6'|;J0 0-e^,~'œ8 ?T%?BGԄ ve{;FuLBE8]TOhvu}t,30#n.&\ ωC<6>OJyCS0.J ËݞTBI!n]ɁœūyYɁCUjXK)2T٩^2X "@cP3{-FcpT{Fݎ{d9pqj6dW3݄LÞܱD}2M?CҿGx` w#yj؃+FeC[v&Sb7AF+  E3!|{y4i #HRBbJTʯܙH=Sz:2>ÙZĤ7-#@t9?H`BIHn܃"S\ь7|dv,jXylbhĽ;=/n>=>=*8^I[~PK֍}:!; >Ҷn+f7I{J% ,gr6* ف'B>ņܹg&E#7 \ſɒWpr58Y#!@A1٥ye`g qiNbz深'G/+Y(+K(Hݯ}++yRJ|m(fӫ L;~;QhP`bTb^UPqukP_ ~\_`jzH^tL3l{/"6 Ӗ eWgYZ7zXZִF! UY]Xi%HT%sdE]Dqp ;r6_!I2JwH p (sfRl,UKKP_zӰfU(¸qmYh89AdkjsWdVfwTOQZkXF!V_XJH3Wa)J,e+{ 3~$0aS~'ߌ M1UiD4Kvǧ^Yh-(0KéAf՘O,OW\76$T2JyHiX6Lsu"ہh2uPM¾eseO&[Oy}̍X]6lvhduHVR&qm+ QKBS9F8zъ;j!Ht/t:h϶~R=nT}C?5Alh"usYE_ N,w;q!isTrYWS׆T]bu6*`@s\i k{].棉&$YQtF K;DN`$|TGba~*"jH O?kTEkPd vWFKmyi,U3g=+e`t!"Ple"r,Z݆RIV@v@ݘL|Y3ҕGҬL=%u}$;H¯# h0WY7M㛰)ռc JȳS;360?- #8B% Zb |j1(I`)~@GO}@QH<|⬄r_M! $mYxּ7>2‡'/A4m::QdWȦ (YDذH㼽(kզHgUޫh 9Kڳ .Q0/0.* C_':fy7 !nC}A9`M5ednX[w2d>Ѿ& |woU hזD}re/*>FSebH%(X#֫Ue|!Â*FPHy۲N\ƍ{xZ74Ւ)_0[[0c8CHW^"GO=L'ӌ,K.yKf5J Г> clYԫfIqa<1sd4\kYkyxە = 1x !n