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 |+L$ S/ Ramsey-Infinite:threads=2elapsed=5.401cpu=8.088gc=0.208factor=1.507zXZִF! b_]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S2NZMڄ7J\̧eJp |]ftEy%',!aYd$XĐm[/[AL0uk\pcb33iYđaGwX A$kr-@]oxs]DfiZc!P#ů#HL刾 Clh[j.VSb#6 ,31MYm-nòMOmLW *I,`rX^Ur),"+K?sY7ĝ{;0qP}"wkE'w+z/O0 <4]8(gYZ7zX + Ramsey-InfiniteZִF! #]ŗXi%Vj;lF.3ʹ|bB Ve+:9y!M )VO!m"nx[9g'AyXczu8L3רv4)_]Xm+mcQfI"n8`%u]H& m<^U6>uuH2@LީY:ޗHsNں<-˿FTxgYZ6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 b3ad818a7660d934d89acedc333918fd9000f935 ce168f5c6ec1725149cd64ec4a6feca6f681f8b880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b