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  [$D %/ GenClock:threads=2elapsed=4.011cpu=6.852gc=0.100factor=1.717zXZִF! ]ŗXf1-/6vRZwE}%X:!:7^ er. .? SAsǞ͒km{Ն"f\R !s&b4AB¹c8֧T;Dw5.NaPD &mV TW4E;#p9iAXR٬sFlT13; .YgYZ7zXZִF! %]ŗXi%6u2?F':$VdZ*-p@XZo ͘40k4E.}7]$q(OzNK[?Qcq *jr=P=aͣ+95ǹ*!SEwKNшs4pΞiX4$H= [U"DPgӲ@+^̑{s-kqqP< ET{]/ѰR,Tp7◥ug1,^ U|DE ?'T^2HiR+UϑyE`S yE72]L^REd9-Lu"V﹑:3\߰,w\CRqWpU&ـ MOE+. <M" IgYZ4ef7d654a44abde1d46de49c39e6305306e52f24 9213ee6f5cac6d71b992af5787ec0ab2f83f8546 a9c34ab35a5020d1af651bbad0cff1276d146202 aa5c3011edce68a6909f1253d65a6858e3d309bf d3eb74f4fb9591f2104a22ce418e133fce22f03fe4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d   GenClock