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 D9L4 S/ CYK:threads=2elapsed=5.075cpu=9.484gc=0.464factor=1.877zXZִF!  ]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣʿX*#;Oɖ[v1 ux/Wa?jyW9xo:!|g}7g6m{BSK_G$dఎ9R&yL1z> ěL&kzJa*K)GU$uD 4KɾjݷrA|#/AmTdyT Ǯ CƟ7Mz`:7n4Rut..raQ܌t* tQYtKBj]ŘNǿ*`kVxLtW^ *~&0ΔA89-Sko}ijGZ6|[#Xd?;F ^NRW]gΉ޺gK9[ߒ֦7ՋL]e)KqfslBi5b#:og-h9Q"XRs0,*v 򝆪4 ).>7[)l2/o/vl&[9i!AV7kHl< ٕn=K8ڔ@gE8Z,]GP p6۵~mŕ0&\?w۱iPW׬A/c7p4k6 ۞h&؇DC1qpH&)-#M[8r&|6udã ǷxN6AVŲ6#I0BƱq!K.D$ [$&oF=7$ZfCiٲ P%,~>A%’PgYZ50f0096c49c2bbf48be7c1fda97224d10c974fac 5eb00cc4d9a70dcdd682585bd5fae0f37f7e2097 99861fa07fe03ba8914f3d53c7de7c7ef6deaa02 ad5b67e29573926d3c9af3c34856b90c341449df0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f  CYK