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 aa- ,l ]S]Stirling_Formula:threads=2elapsed=19.292cpu=35.628gc=0.920factor=1.857zXZִF!  ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZXAǛ?zYcV7'{)xbpH0v!.ko-[V 10T(yL ioQInVF 6AD`Qp[CYQ_:VR  O蔬Җu\t.I<`eEA^>W'/&7Ρ(\eڨP[끪ADr[6iң+w+䠍ڠ-֯Fb}كV:A&wWn6:0 pK,er,*aك1o,X ? AB Uo-%ȡG-YTovdT 7`fwf|5Fum"ڞ]9VKOΆ+t:"`̱gYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝL"FIz8eRdoNb6]P zY=r"*-%)\ICaVu'9!/^wpȇ`[ &oU2Lïjƺ&lI]n: wuJ1}1|bÎkX{R{gYZ7zXZִF! gT]ŗXi%9(Ofc I2fHeRAMg4wm D\eQB"W K iU|R̚x[M5_!&ȮJǾXъ [zg$3)^xN ؘVIM x[.хU:.bi?FITՅq[#`u2탨y2!c`tYO plͷMT?CN5mN !,J5A&7Z^MMrH NW=U P̗&]L.DB 4q*XĈxz{% g9Uބ;\t.cy3sR]W:8xz:AyuyLD VxbBx=[\Q)2It S ŬXz m/ BLH-j«f C<brdz9 0hM utD^\]?^D\A &qLN$c3!B`xOvRJay?XQ3ÀV1gӃp IR|ib0(ݹ'q]Ծ5WzmU:W~oD#J`g0k96ɬ.[M VgYZ51c414148f4e015d7e3549f7fc625d6c962dafff3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3109ebb80bade0add97a25bda6f087f50eb33144 5ed741422966976dcca73ffa2573e1daf423adbf8a797a00d17e494e1485c1ae5225d29d51633016 - Stirling_Formula