SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  Q1t w% Perfect-Number-Thm:threads=2elapsed=2.123cpu=4.000gc=0.092factor=1.887zXZִF! a]ŗXf1-/6vR[2?Tš͸<l1ն3!^EaFt$ZsACm|jׁ;K=Q ^ vϕe;Ьʩ#)ر뺶jsL5ZۿITXn M!_Ͼ2a'\/1]+A!!{el^BgYZ7zXZִF! ]ŗXi%6y4OqC~,DՓ,~KI] çy"D 7JU!:dT(K3UG? dٔ $#[+W%? .FN9m'a WeB6"Ors#z{U/)L'ynV^i˖tb6O8hGtg*X@3 };Ŷj/Xo}Iea*$o)T|0ⲱ3QF^}s@AEY!s.i-Ҹ5%K!p2KrQd<%wǟs/ƣXKQ>ij+0[,VR=XiidDtҊJ"Cswݴ'>]P4.{D2+ί3xrKCg܊KsF<ЍjpX̔7(@@N{Vh߳HiZOxsX&x %1ՊgYZ1f196adfd3b19fc41a89e1d51457117f633ae853 27d8051a46e4cbb4ae267b46ab7e9fdcd227f5ce 8c932430244d46ea2ad816c2daf73dfaebf379fb 8d9c6b3af5c1016219fd0ade0c08aafafb72f469 bd8eb439b135656964c6ebf7e9830d876b05a357 f21e7152aa92e930bce35144cad8253aac433e28554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 93abc91c039f52f86271cad82c5783c5cc5df1d2 1 Perfect-Number-Thm