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 ^; d / Proof_Strategy_Language:threads=2elapsed=0.848cpu=0.920gc=0.000factor=1.097zXZִF! ]ŗXf1-/6vR[3 GeL]K@_w.g-. .auj,wi!.yѬ$J"y@[Iy84ݞBGq˒hξʗ+[XLn1KTʁۍ|8:: +AcBJ2Ѩ۸m&? [gYZ7zXZִF! ]ŗXi%̎(p>Fi=#9FcNg^OWgw$6Tùm5lqRdnqyYnK0 p%9 ; Proof_Strategy_Languagebiyz1ӵ@; @Ɯr$$>N\xJ plկy|"p0K}w SIeI2x:c:6 ?f>,^w˚0<4B%5Ͼ]Y?5 ^6~,qI]|IU*-Ni%eyį=4Nc`YbwRPŝ;KZzZĽ*%>Y?vz}:J}]/Eھyy;KA{(&sıgYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 3f79463ea21be09ea80cc2b9bc2a6235a446415e 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f9a61dce7b499b03ba5603462f0176cd5f8e6624878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457