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  <4 E ZF-UNITY:threads=6elapsed=5.581cpu=27.864gc=0.952factor=4.997zXZִF! V]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄē>ai~ x26/Z$c o>R. O -ǂ=h%Pp7 rSDN~S+8(7N7|]sr+,!Y|,ji6$q EPY/bigXD%*FJxީj: 43dg".`6P}^glq>t:&F3e!cV"uFAb( 6TQJPKeWSF&XM5]) O/^Hf'v8F$:5vD~/6kȤzyQReO9\8mBs_*#U͖d_\reQݒjC#eAv9-DC=3W{1VlF9ND*'虁.$V@Ȟw9ka/ Zy"c!*#gYZ7zXZִF! Q]ŗXi%6wIeݽb jRFefq]_G$3H^-Oԍ}iZ;)C5EB?mkU׫%}bsD5 ;:2_8cu!tn $EE81Ǧ#"7ةn/bWpUno^I.ti))⣳G5zÉ8_lKwXg8}t]by%۹!/n?߉~E#R\L6+d::. #|{?W$ac9+0r^G )P~Fqtΐ6}e`[S*Zƨ0NH.ahu&QfW1 ]t*kT)IWZb %OdUGXϗF &Zmϴ%zu uq"dl"$@IJWR;Ց`"kV_Xf}..))@)KY60E[M|={TZ@M~g0\Y9zu[ڥEEj͚G8Ԗ.F`Գi~>D(tzRH(fu%$?J<1?T;=n: MzV޽o#o 0j"m_+OSuJ^D9c w"9ۋ\Cp۪ȗ8GOaRs %ߴ,;9w=[z%