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 t+L S/ Ramsey-Infinite:threads=2elapsed=5.326cpu=8.032gc=0.220factor=1.517zXZִF! b^]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SZ{/]/ݿׄ Ph_h#9;HEUq: kHIv%M9]'JBpqhp@0 W4z7Zb6u_rD,p)Ou™ʼTς*Kyz%gI )kxK>>dLeb=_o.DwI6B(eo r6$.tkmԼ:1lAUf|MHm_twg9j62p鑨``vc4teg + Ramsey-InfiniteYZ7zXZִF! #]ŗXi%5*}%~:/zu{ d>!ukJD0k A^hZ_HZKO=nrx3;@ 62훴O6-gV#WMֶ? pJv+7zhJo-[7xȟњ{89FDucsh8VYrellv̊L@å!ġ ^xƈ7Tj9ڀ3gf*B޴7+y-HXiVh&JDT+h0{EK.UgEe13Y5 ,I=P>B͟ns^HY3k~p;M$3|ڃ_r4Wb9+;ex> m8 X++ `=VJph(^aOcXOIXD.>uG􆧷[i{9Q}s2]N-lW'cўPУ"8s?m *ZfDFg>gYZ6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 c253f6109cb60c8954cd4c639e0fd42527a79cd5 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457