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  -LL S% Ptolemys_Theorem:threads=2elapsed=2.750cpu=4.628gc=0.088factor=1.687zXZִF! :]ŗXf1-/6vR[3FEªӏk44TYz9(؊+Ag unԈl\`YC[ȝ|Z5sz(BG^޳?UrIIJH %SKj̫Q y] :+|KzWxgYZ7zXZִF! \]ŗXi%6ҾJ4 _ N&*V]MZ@:3QD>_RT { &qb-Vⷀ'zM/uBy gV&U't6C ݺPCjeO\x8y0=,ne0?Mh%wA($ds$}hao9һ_S0`PX]Qjs|pTSЌt厜QGgפ*C^ zBC K2~nʀe;{,E|ǔhK>T$i5K YP}`!qBl4 (O+U2u oy3DV;+/ g=" vNTSUo6 `,`քqVKFu%7}K)!eHS,zHe"KBfj.HikgYZ3c2cae9b3493bb988d89b895c2dd3575b43d16f6 726f8e01949c7e86b4f11f4594174b1d2b635507 bafa67240816f50a370a8091bbde59dd4e970f26 db09a704f063b4cb99ad8e0ce3249c2ca42e91b9b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 f0510f2c76a5403ce56881da7392413a0e09c10e 0827bd8ab1601bb0f3979d5efaa5243c815cb833 5c89702c611f6f4460be6ac13512ac61fe19e555 - Ptolemys_Theorem