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 W1\| I Perfect-Number-Thm:threads=2elapsed=3.409cpu=6.792gc=0.148factor=1.997zXZִF! =]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S YFj| Nl6C&h(c~h/\,:c3YTꤪkUvQ(k:ٮɤ͊_HBG0bqze#8m|J0!@ ӿd;Dc+&\ta*,gM{97g"٥Tfbl gO#DƲgcZ#Q'YvilgYZ7zXZִF! w]ŗXi%B׆cRtqSnP_59|'%l*3D. 1 Perfect-Number-Thmw/=dKzFdC׉BF|,Pܑ bx61NL|k#mQ(F.pN l)kdgIzetKƬZTyuh Ls!+;+\yU&?dˤB_o+,Qٖ%wfw/rg7NĂX?"d\dl)$7Y2{eyWxp< ;} XcO G ψz7ƪ!JΞ&  8y0iQLVܜXc^@yתcblY"W3]yȸ⿲MT8Ң HHHbyG+g\E3@3Ah=σ(o(ࡿNqݓ 6=U+'Lm!.񉻏)Zc$du=eⲣ} lQfpݖp~Ɉ9u@+9y<,U~jr32 gYZ1f196adfd3b19fc41a89e1d51457117f633ae853 6ddaa176e7079a8ccfc7dcdb2da946a43cb63eae 8c932430244d46ea2ad816c2daf73dfaebf379fb 8d9c6b3af5c1016219fd0ade0c08aafafb72f469 bd8eb439b135656964c6ebf7e9830d876b05a357 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 f21e7152aa92e930bce35144cad8253aac433e28d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 c13e3de1e0be8d1f8e22817e408018c478eff10c