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 3 tL c]Bell_Numbers_Spivey:threads=2elapsed=17.561cpu=34.808gc=0.616factor=1.987zXZִF! E3]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}mwY7I(OOu{|4n3"(ZH8ɍ,eY7\|U]+=Cx3kSs+ihQ,ӈʃ`/CQbG51SK֞}oV2\ב|'zw-)\YENyecA%rɠ٨xUnɚ-|Q!ḱ5'IkJ)Jňâlm2jƠ7p/ e!&L!rߋwB.>]HJ,SB_̈́7ޝZK5xIZ '{z{mGvh >&rڅ%]k;sKj"ŝ3Zn>w'?9yCvXm@{›(}{?/m(R1~Z#[VvhG), Ȫ_Ov_jnP|ISհlmuaF%D lՁj"CW(@p^FV9jj#GL#'lzsʹzPt `kLf"181qL 57T]4³KGIL'Ib 3H䆙 g3ֻ%֜-Җ^lk=bPy6kp/F' o&D-z=)*izb!7@vO"SGD,OyBDG  (]EH %9ձ_X^܇34#DP7 Vc8ه~ Y C,gYZ7zXZִF! ^_]ŗXi%qhgeQ%epv4 Y!znj($ lXB-S+/"^̘}bkS1s1$ک_2(RMU0uujq\eCKMSkK.WJ9o=jrգXe- S:z-UubPgVI5Aތ7h{;Sniy(y^wd*p9v!~\xIArJl\ǰC nߞ][DtH&82CK#D|y\XT" k. hˌ#J~j^}R ϱ[K l, 6]sHڛ0X5uރ4x1;3wl`d{9('xSSӶ`] Ɗa"G5}B<6]4e)Bܶ*·4]j޴vGM 鎝@@:j%qlQ#OSkr^{Y{ /M*OkC{ k MV3O}CK, ru[qtޕ[V dX]qti(De} k7: NpHuPpߘE 79w ?}xiM>AKOWK}~;st*rKzȖ~Fa^x'BFKx>2u