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 33J+ ltT ] Cayley_Hamilton:threads=2elapsed=16.479cpu=29.732gc=1.412factor=1.807zXZִF! d.]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfB`UfFjkM3h@z1V7U݅F&GtwI[! t(`VÓ{Q7/j Lؗ7k%kQ{j۞vcKLj͏:dL Rl8/;N|գV$@˨Zʻ}Պqrmri9ds-*\s*m m~~R?ܰM ´(2 a"ڕBȽ!,e#id Asy$*iG^b$T% gň9;ϡc./H 帝? D H#T}suy6i|o޿ źVVOP|$I窹gs#w6YGԵl^SUAqU  * KdڅVKuImk*GK"-㒈ΪR3!kpqgYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~ko;P&tRϑ1JN/ehv%_x47@m}@bԧB+ĸ{P FQ$Ȥ@cz+,UCu[<T9RÎRglD ?ЛPO$-yGgYZ7zXZִF! [$]ŗXi%;S?'v0:A9ԨSY}Ef`Q/,0X doGa w&-t*&f;%%Xݍc#e6*3}I)W!k)tzP2D?I˟=o-g +~G*vՋٵQy{FզEÃ:˻ -G#rkF.!IX1M}]5mڨH /.ؗ(b7^2`o+T~KNmAx)RQ oIfY0-Wɐtb @}R\Lx+NKuHbʲOtzP.!֛d1yJY:=n$\A l Ⱥ0tEsDz#jy![tlԛ3"ݮRwC:W9` iPݰ$N@Q 9<c)ZF `,>#W1NYT\dPS 6s$u;n.gB۞Ů/DSһyZ[2 P~Af$/o^Ekz BafiS! >TO$eQ%6#H(.lyQrFhC~3omqHf* _Z R#k^L[(h:%%P55=dD$ن7i0#ZL 1e'Rl"V ?˯rla_qVP=aG&r ֩}50Ycïyt@3py]`ޙBVi@OAtv]ȉ0|FY31W, w_})*M#y~{cTW_d EOM\g'!$Ldƴ6?+xlیBԔb3*oNrBﴨ~\!GfwoMǝWA@!i )qρ'Lb7olˋ晞\~XoM? [gYZ7e9ecb2ba58c606a08b7add03d8219315d84b0f479d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9 + Cayley_Hamilton