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 FF/1,\ I Perfect-Number-Thm:threads=2elapsed=3.392cpu=6.800gc=0.108factor=2.007zXZִF! w]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S B/4%ԓz^=j{b¦B /^J-;y 94M[mJ-cSp'#q eFd=p^/ G@sT9w,?뫳@g [_agCF˘$tŸ-t h d:6#!yo%=^T\˧g|45ʡx\ f9?w M|D*;Noi/M_"d7z<^7@F6/7lJ~Ct32c]o *!n#PZ`gsp4ݷy c`Krܶڄ_l4?ԁ7\²p bnǧo<~zFY ٬+lg|j*Uz{ 8j ZwlxLJ/2C9TwDx#pyk~TEV 37.4 "I՗ܷ+6DNa 9esi@~V.uyOxtOmH<PgYZ7zXZִF! h]ŗXi%̎8)X, 1 Perfect-Number-Thm>­XT1 +aI (0[_,yHy!-<2lRA1^t?&贋ʢ0C9zF"(Poz@Qd9'q,v嶃X|"y&=/G4MIz@W31E>)uT7~LrHcdp@ IGc5`+ /ѫȭ?v )uZ0RB%1ku|#O]M]p]~w 00>XIԓБK.zGiPa޷4\A9|+0 Z5>0R/$2j0Wi-f ~H<UfHQf7ܠ*2__-ؙ  pˆ'\HA;'a!mvһaH pؕ`?ׯ21[PDŒiY<#3xRibZzR3(n]gYZ4cc30d0b28c9fa251525a86852410c611badc72b 8c932430244d46ea2ad816c2daf73dfaebf379fb 8d9c6b3af5c1016219fd0ade0c08aafafb72f469 bd8eb439b135656964c6ebf7e9830d876b05a357 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d7a9d05b31b0b23c7b2895086606c1174630503a f21e7152aa92e930bce35144cad8253aac433e28878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 770b0724ec92a2fa88f83a40381de2b0000fc1ad