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  M-,l S% Ptolemys_Theorem:threads=2elapsed=3.322cpu=4.884gc=0.056factor=1.477zXZִF! N]ŗXf1-/6vR[3FEªӏk44TYz9(؊+Ag unԈl27_)D\yQ#FE0Pv3wpGa%߅Nz7d)O"I`#47EyPŃjWԈ7HFl~.TЮةȗ{9Ly!7I_-CPJoEz9M[p=3lK=N6̢'~hr%tO۰ ,h\j {Sl߄ڻ_XW= >/*#EZI;V=)6DlF= ;PoQ\aR wesȋËd (HgYZ7zXZִF! m]ŗXi%n8iPmg}V0wDUJIHO[(7HM*ZӶ^KE] Y)|q{q?b&aqQM̻uﻘ xBlPEȇ]d D ͉,[_bmb+}3c:LD(ۗdlHT\}{FM]sizdU/=QyʠZIEPrʮ֍N>fq@0i?Qr$OuҨ$ Gڞ +96:87h*ye/1}}RyF84SDiߟ^;IiٮĽޙTUŬH3a JU|~3@:CZhx GsW$ChJCo7fZfLUVk,Re˾C'ַNض7W?`NV`e?aƊEuIBKqy >[z˶UեSU٢CXBִW1"-Vmu?Ad  TrGVDn3|gYZ3c2cae9b3493bb988d89b895c2dd3575b43d16f6 726f8e01949c7e86b4f11f4594174b1d2b635507 bafa67240816f50a370a8091bbde59dd4e970f26 db09a704f063b4cb99ad8e0ce3249c2ca42e91b9c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da fb1813d2a93164e220d76a7f584d15ae661b1c62 5f6583c2c32c714f12d333504c279338fee25e55 - Ptolemys_Theorem