SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  U1Dd| ]% Perfect-Number-Thm:threads=2elapsed=1.785cpu=3.280gc=0.072factor=1.847zXZִF! ]ŗXf1-/6vR[2?Tš͸<l1ն3!^EaFt$ZsACm|j.hK8>I˂pZr+J3˓AXgi ͰۭN|q> 8jtnAHʱgYZ7zXZִF! i]ŗXiɟ}dѯEYDovgZ#U5%;ʎװj}99OUqM:?ѣj34Ѳ7gi☯/4H#җmp#QcPgYZ7zXZִF! 7]ŗXi%92"e"MR QK)j+I@%j﷽%YWMbrߟF|'+JjG?oR/!ހk{u~3YP#)ui҃OgI,1ԕV"I.M#bXWC*Hh/_اUe/ĢL cRXbZ5S.=eN+R4K0b.|aOpҫ/Q_>dOu;2ʉD mkQRdYsg+.>"  }Na _t 쫂u(/рۄ+M#?nHu=  ,Cp2˲6:jf.8ozigebƸoa|0z#}ޫi mrA0ThRT7H0pbkd3Ve;'A_%W"H?J-}j-  x@ KH쵶d|.0pnVˣ +q3bgYZ063525ce143130e03bbdf0d223b2aa105fc24dddbc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 2d6e38d83c3e90a100dde7fed1e4308f472211d2 9b8c9cab83535305bb7ec47115f62b016b968e85 21fcc5bdabac474b8d8d9b644f021b540066990b 1 Perfect-Number-Thm