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 / lL ] Well_Quasi_Orders:threads=2elapsed=30.165cpu=52.972gc=3.148factor=1.767zXZִF! N]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-XchȫBݖf5m/TvWT\_}?* 70:m'w mԘ{# ,Q}y9eyme´ƶNC<4$LR=V9;yo_ߙ@O#GI_}r.Z\(X+wHnxOCjC e'[t,L̸6i8 Ϩo wl^CeStcHiN-=Ӗ!3^# 0 _U~ :lNdkEV$y-@2±g Yڃ6lx*%< moG FP^ |9 M*Gw<,e4;q2 709`ڊA5TX[S P}6=+vp8f#=^I7WtVa E0LP=#~mW,7DhwR^ʵV왞nv Eʪ ^ tUY P~W$r\+_ @DxMZY3:T8X/3|񻁇|,&S#W[}m%Y@q>. wh>sdRUo\Gz;FM|#'"(@r(r f7~; 4Ɲ?gcEH2bRKJ<[7`AiO^=n|r_I.SYBf@{k4>O]euMT7h?,A72`ƾUН>K }"TC*PJ,sF =?yc%φ8z gYZ7zXZִF! 2]ŗXiɟCrhi^IxDY?Av|4u LJ=pच/xD2M Rf1">]EVJ$%KR̦Y3 e `Q/b;!ꑯ 굴1 V9EI7m}윓w}֋w56*5)JI[9'7q>R̉0”~YvX!I Df <7F2ܒ Vp:"/hch jOdj<7)Vf0ΆO u)3'97ސ2N(&\q.;,*녷JbzH~A:jsT8[Ιki֧Ző;_X)$$$ N/exx yj`v6!PgYZ7zXZִF! 1]ŗXi%6\IBEaf"\m°*(.D 0lhL&"'SCv(5x~&<"yq7Ohڬa>"bbV|Y;vPyL E$A  {{Pd$iS Ál'*Y&K˲%l3ϻH34o&~1F: ĞPj%6*Mpm|bSVF{ڻp~ ~V&a&D`8i&OLŐ,0ΊӲ6n}bEv. sV5A㭩ky]qbYo3 t1]̪ խM E/,K@O2 kҝ&->@_ ' Gؔki){^w:}3D _DQN'Ic9p*laCv|rڏn*hK`l|]r]WWR#(<봮\6rmu8 ު Ml"emh@UHq"v7~jr0EIe8Hkݪ!b@*2d(7(@}!JCfƃ)~~K{ a_2^-Nj}*.4؆k,F{i}:mcXDizhM;U})gds *4ZPۑ_&<1187UG;>qi3ASAn +i30z\ݶ8˽a0 %OK5H_$qf6e#bFBАu9佘ՆOVGOPVHPyrvZJ3ecnϚj [{D-y4RXk{Q[4Y>fxD5+@:ʦC9k+