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 99<1L w% Perfect-Number-Thm:threads=2elapsed=2.159cpu=4.156gc=0.092factor=1.927zXZִF! ]ŗXf1-/6vR[2?Tš͸J3\lԮ|[ 0h|@ Sr{I2W^-dYlP[-02TFϛItMRQq#1ۥN= E"O70ɩgQV.zj5SMty= Xnc͋L{)}Xq;Y5LBjOnX\sC^\b=`h\X"VZ-p{5\ ;Tr_vO'Sy$ Hp6ZMt"C3+54n<`b]|~[r p3E̜1ME,0:;wb'k?Fp2v0g|X!:i<>F.<.u*=C|x)͆Iu Ib/pMПjlf),LŠIs$0j0Ee=L8h i틟ynWA%^\ -_m`;D{+1`?JgYZ 1 Perfect-Number-Thm7zXZִF! ]ŗXi%r8Db־8⛉ٲΔҩ۵gs@ el^*C8\$wuW2z]+3Y)=%MzҀEz//V?vc7y;kQQQ2HFo2)?>(3_p(cYU;T>o!UQA~װ1~vme[=`oҒprqۮ-z}P 2AD:EGҘݦ@l&:|h2Ş0%yqn|9|ͩoW8p=02u_PLVs=AWߙg欶8oHMI!@^60e:;1]+!B\WOk\jw\__gl@2 Uzt }oUr{!E^ͭqVLV]҂gɯ}CoA6K -J e^åM+W]4%LYgYZ1f196adfd3b19fc41a89e1d51457117f633ae853 8c932430244d46ea2ad816c2daf73dfaebf379fb 8d9c6b3af5c1016219fd0ade0c08aafafb72f469 bd8eb439b135656964c6ebf7e9830d876b05a357 c85664345337818725c005e4498d8b709b2eba6b f21e7152aa92e930bce35144cad8253aac433e283b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303 cf54b34e30444469b3afc37db385a08e9ab8df9e 1979b7147b60d8a8a345788288fd71ff9d2c5dff