SQLite format 3@ . BBh77otableisabelle_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  ?|<< ]]HOL-Computational_Algebra:threads=6elapsed=32.288cpu=102.812gc=5.148factor=3.187zXZִF! 15]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p!{ Qb\] ]Wϳö>ґ_O\7[O)Qo F3Hl$ zNod4H;7VHIn6S!NEbdהhI) % k?/!OƮU$O妧l3T1HZBQ.rdwoMHYQBd<,RL8J{2$SCà#sCTZE@o e~dڵS/mS =E^>6 6U4^~wz̝X -| UJEr[Eӡq ? HOL-Computational_Algebra]"pmvxNH)iڟYky QwP O+Z3PU:8nM,]&߮[$jY kkCLxn* V+u@l,zi}ㅆ;?FY('{6ihm,^LL{./#&"0"l,0Qs:[SF0=ڍM).VaC:XM;Цii=%_?f' cgYZ7zXZִF! ]ŗXiɟ1᱑AACqZ%!VqQM\+IʣKֹG/XrǃXH #wVv"[륀 bX(~@(b^O3ƒ6Bl#wB8a1E;Ak?ዒNwk !c$;=g21NIo\`kmgL:v_cp~}"8G@mRώi~PE H%4%|撝iĨڗr5֎] .DEحG%ij%(.rW`AxxG>V̌1 ;Jnt.d(օ *iȽ ųT''i\EGO\4*I!{G6exblC"g,$e-g%g].19P4 (Ua!-)unX.'͉7T Jٖڨ*1*hʏcbwCqV9K57ѻ1jWcwo~Ln}D'' qMfB :lP\iK!"ּzvaKS:lx "UBq:eQsM5rdGcV:ۯJJnIe *KB}Z t\J!tqU#Hr@bƚ|nyAoz'^6 9CPMtwUSX'+X77(3c_Y4hɗ<,! Y2<)T@{76N1q[@!2FxPmLn¹-5TN=o'I2}9`=trjzu i4(.օZsv*6Z!Fj 58TN)qb\ Tz2ŎCnjs#*.bT{]g0"Ь [/Mn~@ 6L"f/dI0KJ Z cCW[ SXG=ފď1bs[S(y=#9(3&޿Yp1 C"%I\߁l:ҼM?e[/k{"B<$T*}d0/ƠGn|KǣWF_R#FgerN6 x[lV%S|' 1?nUH:D6C%Wo^DmКڕ1'ƹJ߄UZFIGj2fj\*AZnu(;*O+3TY;7P^ =vtz8i_wUTCHzU;܌{Q Y#.'CnL:o 6ĢteK.a{ f"M(+W4q{7\ 5EbM؜xNJi ƆAjoSkX='$iYR( XI2A>,M7~X0 &vNW,"nv$-uN+l(oitp/VŅD DmOSj R$i@l!lΠikkp% #P/'S0 <0^ADֶy;y9dϕP g"en ۫`. ɠ l}B;uy߱um!v ڥ y#T2J+SY ԂсY?$BH!3KnwZmz}tϼ%|o[J(%?e|ㅃk}@o` تGмIx"I^=au\Y?P E7W̤ Elå‰40랛^hge/ B$ڗ"@loeBS"}~`b>moNM4,H  ;\;Lu6cC&ѱ$V#u$0|Iy,]x'-FU'c2%ݐي~VyÛCVvXCW (a-|™$x I u-˼H re؞=Zx{ GLw_ (tT!4|40s)}="i"u.٪