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  =-D4 S% Ptolemys_Theorem:threads=2elapsed=3.448cpu=5.044gc=0.072factor=1.467zXZִF! ]ŗXf1-/6vR[3FEªӏk44TYz9(؊+Ag unԈl4 t3.D >b`jkSz8`@Q,Z"ZL g7k5l,a ۮx-B"e`Ob |rȬ]js y Tb:Ƞ,t;%]kN5ebk>̆rEdX挦Y( l_|Jx£hIMgY1,I2rٽR&Y 1-*-,ݲϤԔ kBT1UgKQ)qI9 5[sPyFw@rfD FaUgpZ`*k 9w6}" D2!/gYZ7zXZִF! Q]ŗXi% D>IKA+#;I{&|#Tv`ω_n6$'rZ:q/ߊQ7z aŢ997?c frK~d*Ѵ =+>ds^Ve]Ċ}d_GDs)tw#_u>ΕweѠ%~(JטR|œMlA'Naw5y4|•j #2#2`G\XS~s^00`%bI#w+ސwCMNhDx/<"DK;g.*\O[3Ȃm~ZBKˍTIO J8M]ҵ{>^J O\v#v{Y{\Y1Ɖ<`OJexnѶ;&ï`\ٽV, a8Z #C 8iknUFť^J!@X0Bk qJMn}xO":͙wjUi`!?3z_gYZ3c2cae9b3493bb988d89b895c2dd3575b43d16f6 726f8e01949c7e86b4f11f4594174b1d2b635507 bafa67240816f50a370a8091bbde59dd4e970f26 db09a704f063b4cb99ad8e0ce3249c2ca42e91b99711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8 - Ptolemys_Theorem