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 AA<= t, ]S Polynomial_Interpolation:threads=2elapsed=20.325cpu=39.448gc=1.996factor=1.947zXZִF! 2]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,unjmEl;`L%6uBh \~> ncCOo+y#8h y /8lѬI:֓=²9gibOa{hb`f{1 p?K2 Z9ieW=nL8Cx2S?&*kxm,}FnÍ!cktт|uRvI6tAKAr_}=[e/%ĬyT'KGُ>5U{+ .C0y(*4=aFgAm,M]< i& C(E3(egbjqyTRT)]ǎ@@[иxLYQy뀚ym{Ϣn Tk,dAj'Xm5!ܮ =G)ClJ?%d"RyN1W >5ـh@@׬hqEWGѣ֠?] E\k4Z3)j^d9UBG:E7dB⊰A hevD/bVr.9vB'tzھƻMqAMN/V3ՆU.3B,%1[5s3h91{q!EXh$Gƒa 'CHom=~.ѱgYZ7zXZִF! zN]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g AK?;p?bM\bGVl}Bw"['W4⧔e~jҗF#vUswE22V[%,mz!M]71O#3+i<._>ru`NwǍLn)K0wB^^PCjsJO.X2Ts-Z]IY T.Q/CO Gܻ]p8]r3Kج%U︪,1߈WC1:oI7_:Uwv^݆zG>QgYZ7zXZִF! qB]ŗXi%;;jcY| ehͰ7R>}]~Osk񩭇n9\ElUUOMmwD#C"0W~ɱ0,ӱ QU^5DmEI/G+OEj\ n#l˼C)1U3Q_Vk#P> 91_ֳC>Iw\@sY|KS$ȱ}^Ɛ1 wVeHx'/moZd/Csd> n[. ',!mTQߪ!q KhW}-R7agJi˚|7Yay9l99FM+9W:b@]U&$7eGzA{nWY,wo|4 잙 =&8CQgª*zr^rd&c0}dwkJp;9{.EX+ 4+>9xM^A4FX v&87.sNf]CdP 4*+RFuB&,rܙ VemN+y>XY;(:RL^:".¸AZ8*uƀyCx#˪bDjpGE pU31ecrFÿ&LIW sP!,alGE@w sBx(l}lki{(o9Ӏ~HG~eI5f$|-',!4q+6&+O} n=I\OݍTb'H*+8vʧnϥ`.Ohr>8Ȅ?/F)0y﷫v耩ShQ@arebpq~58lpМ+ajh:Rn LØ8xiA*V9i 1 TN AKLhRI[!vM%\BpJ+kCq}2YKc㓛i:X*1A}{ 'JvM9YN=XbODcXvl( z #z_pT@*'d-kEu