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 ##R;T / Proof_Strategy_Language:threads=2elapsed=0.888cpu=0.964gc=0.000factor=1.097zXZִF! ]ŗXf1-/6vR[3 GeL]K@_w.g-. .auj,wi!.yѬ$J"y@[T 5,"ʰUDG73kօHm)CmυqtkSkX~)2=⡸CrC[ڂ#'w "gYZ7zXZִF! ]ŗXi% "{eыVJ^fm%Ѵ0昨[,9a~VBNۨ ś)a,[z ; Proof_Strategy_Language:RJ7؈ؠoBHu 7hEGDTDj̣>V8q^L;]{Ȧ$Qړ!U)+]!YIllp*lKQAuR0ooD }5Eup]=ƌJb[)]2w$ ]s3j|M\BWX ®ZEE>r ڢ̏<%#ϺxYW5;JRb I &ybs"R ;4o/+cʚ]}Ԏ| spؾ, <'fbZp6a&,tqk%6t){fgYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 55677a16dd53038cbf3822fc3ed804a074e60ad1 6f15dd08218dc047692a47fb90ecce6d1f012d85 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f9a61dce7b499b03ba5603462f0176cd5f8e66243b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd