SQLite format 3 @ -
l l B77#tableisabelle_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, "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
K3 dl c]Bell_Numbers_Spivey:threads=2elapsed=18.887cpu=34.660gc=0.524factor=1.847zXZ ִF ! E+] ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}xQ\q[~E0W|hK_d #+Ԭl r_
"ʈ`!+>~S d@at1 #Y$> ']"PVEƦmh \69)]JSiq VXjKN\aM7T-W>$7 =yBX.?.ڂ ,}y w&صtfC;չKlP d y䢰Px{ElPwȭ. [lԉAY
bW54cuuLbǎ wN
8 xn Gq'(`wi^xT757,˧M@*"W7Wq =qo55{CekƩ *uw .ԡir3rl{}WX~4`5i.4+R?O1yņ8I^ЋC,Du =q* CZ c4l |ovIjHMҿaﴞ+pK:j { \eDIj2ٝ-# }JW\ O9-~@tZODj7u5jH:SM Ћvm\A¬1ʏX7$ 7Vү ^!k.)X0zى1E>It?"4_p"A>_{S*Pݫi(1)u`٬F-~ z @V
:fg YZ7zXZ ִF ! e8] ŗXi%Vl^;[Bvhn^g]Fwyq*yj3-2 ?ZԮ5 H!ZU jh=r 2oAhz'MHGAR9Cqv~)|H c
qҽs VB=2yȟy3PaL ү 1xX窇ڇhD=\!fpЗPa"UYT-:üL&*dBz;/C GuA#/ FQ^*?Q`iثcAt+͐x[gSM;b@pScЁgi(QJc;1,# [%s لf)hFD1JT@PR6ѷW-TԹX 0to
jn.N7IyǒGXx!sBdvAn5-GjdMCLtwB8%(wkW2
Θm>b[5Ne4+ĢP\% Qգɶ ,h0?f 4GR yrkqٺT5ևs/OD q$2;ȑ1$dzC)'
?Rh>ܤaEbCPHחF<ο#;U; F$I]shQI-6dÌ me6/|$9
F'2Y
kzsfV$zb'*n+h^?yP#s1^מr0Z'y@]0-L %Yۢ=yC A= ,FCY# ?iaP؉zs8u
s7&>z\wi3eFg#6~lqNG^2_(~ޅ*z8p!VBzcp8
bFT I2x(7OcڨwbpaiϨF
jԾ#
&$Jv eՌE9n˙H[&m_ֱ%r̩1ʈDM1JI!]2l.?~O/T\9ZՙBл !f'xF榲~]