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  0+ Tl ]/ Verified-Prover:threads=2elapsed=9.023cpu=12.144gc=0.484factor=1.357zXZִF! ]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\u/O}-n D$Ă0Ǟɔ9\Sqk~~6D>*9":x茣 +%3I 1h\8n+bFwI["B7"T0= |߱gYZ7zXZִF! JF]ŗXiɟ@: {GXjWwPA}|KA`4vcjt&Y`4OBdbK$C}YZ7zXZִF! 8Rn]ŗXi%92A u2w(8bA< <8Zbm9+`3!锦GFm%L`l ]Ί+^6bDkBb]hOY!r*6j7蠚w^OnC&͒mĻ!c/y0X[5esTHc7hL-&rgkF/5sTۀ]i63ӄw 6)P#X݂b=OI,[Gmp׽U-[ٳr=gu7@Q ũ&Ew͒^[!{]8geI216bk)H+p7Iښpg ^pJjmt.GV"0