SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
t t /D ]/
HOL-Proofs-Lambda:threads=2elapsed=118.592cpu=138.880gc=6.224factor=1.177zXZ ִF !
] ŗXf1- q恈͐7ӺV -fw0w]BjZjf7gpY׀BӇ ..lQGBbw^KFO㤋WwLiD=jY`yENVw?]#nmFr9$T{
S~52& ձ9ŏ[aX ƘA&<!7@tq/)/O! ?JJK(AU3pݭ}uKf`%By)ۥaַ ۊUJ(ͶR@\P̖U/iڵnDB)\0t9!9%Om .ezRwJdbD< ёҞ]W
wc' _]&IO`Xa~~q[~}bO^
cdP4 jE ˦'p4sL VK ,g YZ7zXZ ִF ! 0] ŗXi%;iV5ÅQ4C}x
}
rY[=ڸyCUc8L ۚ.UVD)PbyO Nv"e36~7%kHPZHuA ϼPLk
G$E+.io8lo;?>TCMW *P`eq.4H *p@7 ıK:Sj H
@i|z+/ӆEm ,(Ox3%
Q\gӑ4Lw*ՁƝUd[@: YG",TG x,aUM쎰 N]FZ +.jk_p+64{>y;i5]7EZug\VF &lJ d}3
FJs3y+k^A\JOp*mQ( &8o o ^bb60jpjSe >I6OF>0Ym[g>xI}[֏>dXΨ@v)4ƒQʣǛ dc
/ HOL-Proofs-Lambda S ŦQڏ."sziL7&ɼ2
cA<&j r2l[9t>4k]p-{mUf; C db+R 3CdߥFOS> 2* T:c(ct,wb$TfAڻ%Izx+TF9Г*+5< lJvV mecp"!,jpd,T[~
'qxj9}jH[GͶo I&%\kZo@f'Q)RJ?he
yO:ш(q|BS(%K猺'ԟ lˬ]ۡxung9'b.ŝ.a@U:/ s
(zo?D?UIKkewvդG ,%F";l*OҤ")F$j%3Dulcԅ,Ꜧ-x cJV)@)
$5ߛtQ#7x a9{]= |JHpO_e.f'k?ere.aηw 晊~K f2C 4RD LB,i*P,3-!5%wfujDZPu>>@r`|V,/%(CGpyng9y\H roO79nfRZ閷GU
,_V *-̰$|) aTˍzY1y4bf'>~aD~GdlsF\% zh7F>9'^Vӈ5܂:,[$~]GJfݰb%WSKRzȾ MMHPYI*1\.`*nr(3}ReůuKG[O[$b&^`ϰ g8ؾ@<*RmN F?R/lDzCb 8Pԁ#FN6G عTݗcʊw*D[tu$V8zqd,z^l9[ WviqU#R7;r&rX &nC1
wYȲӞe CwׯyzB4s{C| E{cQ}\r07G%Ga >ArGjq:%N< 9Cɳ\ *Trw 2
V8$+s9$ ҏ rGuʆ!ޖ ~ p.iN ڿ\lAXLMO0ӻ!:|ztgd)BcdB|qY?. fZgD $#*g?ȍ\}Ṭj-¯ɑA7x_?U!.Tq)*)xck#VN^s`,z/l9~hZ 9tVsF0';VE%# Sr P[%W#75V3Huϔm}& xLC4 Pz7+t 2b~Jޣr1ƽj /zHƙ˻?-@62VOA4($U!dHo$ok3Π{*cm}]n