SQLite format 3@ . YYQ77Atableisabelle_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, "errors" 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 Noninterference_Concurrent_Composition:threads=2elapsed=8.945cpu=16.816gc=0.304factor=1.887zXZִF! zI]ŗXf1-/6vR[y(&j-:65&av7[h-rw>rYb>gW iXTѿskFRo0ñ^+TaeMVLZS/L=eǞDn¨*Ph~48JmQZw6[N=9LϹ5ֱXk#Iģr7Ow6̥V++׾$u)C\g;Zn@U'tڣE;K,dOi̼0$7|u&cL6ȜΠL;fk2PRSU4_tdȢ8~k' W{B_85 ҵx fNيud6*3ZVK59vkO%+q-@73Z'p'>a@-NO\Jo(AK]7 Ql52x/DsKZ>JjpRe*|-ѭ\+Ohd_~mMz͝4 ԜShM[+ ݈_&`X?ϹET 2Rٓ?{.|К_M?pAVUgYZ623f464a1885b937d61b5d7e7137decb83de90eb 625c9b5de81f88f8a6c956e25ab307d801f15121 75524b2b08f55c5050db1fb3554fa6d120b22e31 d59aabde97feb8b443de5c36e73b352d04a57228f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 e983e8e0b4af5a48873c95aa4e898639d48e7c2c )Y Noninterference_Concurrent_Composition