SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 vv- l< ] Lambda_Free_RPOs:threads=2elapsed=17.611cpu=33.484gc=1.396factor=1.907zXZִF!  n]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓ!'x|1i؛DlieQtk,]Kx[{o%Т!ʄCf? Xy随G8SnXʼnh!?'a {K_3ϛ3#2kXjBG 㚷պ)6ĥ \ tiG up<{ֈ0\S;ʏ60h;0ȿ6jkϬeb*RPA<٥k@eF(CFgYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"1&_+*MnؐcKeLIVah"~JV\{B'\m.Dd7C.ZDCRjvq=F=Nߕ/rƝHs^"c栣 'p%Ps7' g q_W}N \qJ:w?&^aJr^x=hW 2%pXK&}<9ogYZ7zXZִF! j#X]ŗXi%>gAcko2 tK^~OG@ؔ91VgHhjeh=;P=(@7Ey[b՟[jnD"w `M[L%,UR٥#MΧѲOёVϏ׭^˹Rj%['u}\Nئ({јY{6מ%WW]n3 [Ol ӒT}9ud)[Zu /z+ο˦)piM2Yh/)N5Kf# sduk(:Ϻ`D H6//So#CŖjq>ʒ֕ pE3MW$QeTϨD7mkIex6aEYКr->[x?+<qI[m(: ,[yaS 6H@CRyo veA*bL 1{; 2*jb\bт+5X8M Hר]b5G(ߣPtMn^!}x; <+@QEg {{rwSxbӆ+rr,^ɉ<îvBKeY0r~GVC;*Ѩ&'nUa `}t?s4f%/d|1@p2{HmӴƃK>abG=: 6+R,s5Xt61˥'n3?p1I"ͪ]rc{cAO٦B5wJq (+xg4s*8zg6֋qwr$:q+*nkұ_oꐽ/7֖M3o(?kr؂˙r)?WI쫃ဝa͂+ = 럝hQoSZU97HnaBFp\ @ ڞV9gMsrrz_lwBI=(-f @,vޯ k*vѰ퐩ڐpPDP\:r_+O?t5E.JD8nGK~ڮӾVp oCM&O沈jў&]:@((bHGgT,?|#F& Fe~eg'+5cdX']j{h} CxYm5B |dT˲ᨛd {{P<#43~JGn{!q+%]A-QHZ w:X~LNgqZ[Tq~Ӈ=CD![/9 ,@4ٱgYZ4e650f29a560c66ed434117efe23eab41074c3cea70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff - Lambda_Free_RPOs