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 b;t / Proof_Strategy_Language:threads=2elapsed=0.806cpu=0.872gc=0.000factor=1.087zXZִF! ]ŗXf1-/6vR[3 GeL]K@_w.g-. .auj,wi!.yѬ$J"y@[I~+V4"Fjj4y *i+}fZ뢤CMtMtuV"B>!b0Mt-1~ iϼ`k9,6& R EgYZ7zXZִF! ]ŗXi%B׆i"e[ r^gt2 XFw]$=/_V997o?MyT}ֻmVv0V`e:Q'SzGW ; Proof_Strategy_Language,ؖ ÔyE~=y}%7[=CkfS Msf8>/#hiR6"dY-/u1(h%A&* v |LMJ3+οf:滣`+[bs݅Tc`èy?{Z-v Nygy!-7hKk )A8 aHI֥9m, ȺmvBRhvZ{0ձZthdrsH % ֗sPM)c2ERg0 f1 ϩ2Gj^o CJΠVgYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 bac897fa3e742896fc83fd68bd87261a0646e3b9 bb42ac82e5487cbb98bcebf81794645582cda7cd e18146e76a5da3d5bb295ef47091451dc1d7afb6 f9a61dce7b499b03ba5603462f0176cd5f8e6624d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295