SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Y< S% Cartan_FP:threads=2elapsed=2.271cpu=4.200gc=0.108factor=1.857zXZִF! ]ŗXf1-/6vRZy_Î:|7^qˋ>OS,4uH4NJ4h7nװk(Ef3WV XX(HAu(oϊ ȇs*6MK? ]B?6MgqeP1r$A&s'ioN4lOʪ8P;ȈX^qO648Ybv<\[OJǕ&=`v#O~l ur@y0ʳgA2G0Me~W6M< Mzg.Tgkz #Qh Pk7'{X[7lf<0rG4U]T"7b/ Z|zyG_(2]G$\ M^zOUyl%]9f\OI%ɛ׻(X$<&X$F{Pq،Cy?7Dj WwbI"lthi^VͫTz]F8bWL'ix{2nKd |T~XpyM~{D׏Y9Ű"։ٰm=<^Ô^oLYZ$9 ]]9X f5!Mbh <q+Cx<6\P`|p0ضP!K"a"]N] f6_*.hu-gYZ7057753c2198f293e7c6203ebeba89e1627dc079 ca1286a1e0a47715277580ab35389f0077a71e70 f4f45ce2c3a2bf9c0ba22e59d1bfbc012e348e2f f731dc2c105e227e07d4b3192c213fe54f0b769780f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65