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  -L\ S% Ptolemys_Theorem:threads=2elapsed=2.834cpu=4.908gc=0.104factor=1.737zXZִF! :]ŗXf1-/6vR[3FEªӏk44TYz9(؊+Ag unԈlu.P4Zv9?M=϶㳋(AJscӳMzt["Z!f>jJr{c'} q3YH_BDQojEP-Sf3B(5Q leRfmf~׆$CKk'1p%[8pB-kX =zwdJÎcJW/CcȜH1n(g>l\1957*L҇j0W $9J^kK;9≩09*-n'G)[%2 "-o1$ÿahW. [=NgRLS]u\Z&Yl{kY]ll ](N4"Cydb`8l~*&f-xwT&nW3a/r; ^ه< 76B[|; M/yT9#1-,x$#W\ rXia>5Y\1v0Q8.dgYZ3c2cae9b3493bb988d89b895c2dd3575b43d16f6 95ac6a674590b30094047430349fb55742a31b33 bafa67240816f50a370a8091bbde59dd4e970f26 db09a704f063b4cb99ad8e0ce3249c2ca42e91b9f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2 099d6146b83efbe7db34269cb1d2c2c87eecc7c4 - Ptolemys_Theorem