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.491cpu=6.940gc=0.108factor=1.997zXZ 1 Perfect-Number-ThmִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T>f0am"FT[MB2kۿ#6 i$|kIH|5Uh4^\, 5 |^͒d f7ȭ΃{ }4Qy~ݽo#wT ta;m[`gDYKHzK9~ynA GN~ه2wK(92e5OOFVM"2X![ɷFo P^MC٢WrAm!E_e_d&%AmBo9x}](SӿWЇfBrS $wU u  9t%ZQ(L@Ϛr$9TI( S"1w].۹f`8~4uWkdA7pT\TVDۉIBk+.igx:N14 ԎU\0s1n0lg ? [Adr QF~+a ,TCnU*3}6LQ(` jʺރ vlkt 4Cus׿:^R0z F]m\L1ɽ`4JrGp,ì6g^>YC$o¸ XkVn) `@V|E?@PgYZ7zXZִF! ]ŗXi%DQx)&|$yZ5K'+0];&Q }7nΗ4G]]겍XP]󙊩URzBcXuYl8U;Z>+~p* !}l9m%H1-4*9JCmƾc>} krC{Β(iSn+Q}qP֥nbo 1o0#N8ӘϾ1N~51N7N TJLxRlqQ]{ aANpR(M:`4@ PzPRewgVtB}DM!̠Ex 2 GAJeWa} T% 29>dcy~\#u>n|?g{a;%A <'h XrGtKإm`Nu%kɿ4u{Оd":mr\.;k(Du\R7M"6e.W[M/z1=>M%w@6u.OB?6ܠ9] }*C} :q]_c];ڞQ%J;;l 4bC B13I[gYZ1f196adfd3b19fc41a89e1d51457117f633ae853 27d8051a46e4cbb4ae267b46ab7e9fdcd227f5ce 8c932430244d46ea2ad816c2daf73dfaebf379fb 8d9c6b3af5c1016219fd0ade0c08aafafb72f469 bd8eb439b135656964c6ebf7e9830d876b05a357 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 f21e7152aa92e930bce35144cad8253aac433e287df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 bcb2c163557370fc3c262b426278daa35f969e98