SQLite format 3@ .  YYQ77Atableisabelle_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, "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 7 t c% HOL-Quotient_Examples:threads=6elapsed=26.915cpu=43.284gc=2.216factor=1.617zXZִF! ]ŗXf1-q恈N/|p~p%+)<}{5ޏ̫9:Ke5g߯ BR]ƿ=" F˴ gByvkҍ(;nK{gaO& b nFmgҮăpm ,HU Xnz&%xĥ svHEx]2;D  "]{6oDZK|3^okZL iDv ;h-҈IsI0BӦτ?)YzVۇ5sg|;0'*T.ph=)J^xim_?uL0&踨Ӳ^_fq r)D<ٜH>Wxr+Ώ#ClpaN L6p?>Aݬd.'s1KO( pp@h 7g C cM=]5ѸT؆@InOp+LE&(Tw=W9DMkw}8xzԎD' jMp*yl6KX%N!W]lrŻwO߄iy ؅Vts:ǻ0Pa4h𺼕ޙԦW>JA#( im1xFgYZ7zXZִF! ]ŗXi%6U6}M$ P,ϦϏ!Oq=/5٢Dž ڨD &(+R]mF2rR'cЗFUͯ,VIu.d븎Hj)A1*2D QNSlHtׯ̭:\$r 7{?Z㍁h~\RKO硖Ȑǭ*cBR\UKx * :St*wȊ#]o":3+^:BɄh-]V8 Ƒ+# ʠ1AlЌFx"J)XYB*LLἆr^&ݑ2@*D2(b_ɖ"vg\? רKض.8M, #] NG~= ȰҺU?n392_iFE\df_ (PА[-(Lz޿{Y.w϶@5;>&if|8aOb?%ĥex"u'4G;kQoWc?%ʠ؆gh`9v =)F# eϋp\T$-Sar7R+|NjGzp벻);|YT'EP_yш8Nyh~7Kdn(i(VBHQ\!#D^LI˩HILЧ"[u7ǽkO2y ͛?d^K-v53>l59S} xQv5T7dW߅?PAlj.4oB˭e@~Lgܐt<6>%te/na;ThuDoeytQȦp6sj*½F|dfejuupMek_+J¼r&1wv"ReaRX:tȔLb7[mN.G&!8̝}(1Ml]U^w. 7{J%K*12n&2 ͫ:Vk:©g)q[c'yS&ױ/BBQz~ pPA,Q MPvP==7NAEO} BrrO1RCʞN=~uVSp"\%f,K]Juid|rnkf!_"܅+B6F$-O-_ԣ>u $f ~ efK"i4{n