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 I|T / ZF-Coind:threads=2elapsed=0.680cpu=1.340gc=0.000factor=1.977zXZִF! Fx]ŗXf1-W5) g }|ȭ-k_W8mц+֙.& ^l|)UP7vB/v[Gt2'6QA^WWa!YҽLn4ʦtx4;ERv=iG@bN/ԃ&[{u|H֎ aFTȐ   ZF-Coindg+0-}8eyjEd:q[[ 1aAᳫ(hw7a~R1spn)w0a,ݍWdc2p0 V%gYZ0781d4f8110620b6893583d9a14b337f90c28b73 4c6cba38a8330cdfe344988d515aa85fefc4c72f b57d31fcd7ff1f934ef281532e125734c69a3308 c3db57cb819716f3470e569b0c35b518278d88e6 cc8856a6a894dc243525a315c1403d33134885c0 d20d0895a7a73bbe2c1a06cb3a9dc119f28a1de5 d8f1a45b367d6f2fb1be2e1c839b1ab3df2a8fe3 f3544e03622cca219795561cf27967131a8ed9dd1d303aa48c02fbfb8fe205c90ee243804756e6a6 08965c534c4374e3d01143cbee9cf396c114f95a