SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info @-D< S% Ptolemys_Theorem:threads=2elapsed=3.199cpu=4.740gc=0.072factor=1.487zXZִF! ]ŗXf1-/6vR[3FEªӏk44TYz9(؊+Ag unԈl2$mY͟‹3;9a"[U3K':ؙff9Tߗ}TЭ-(eT19ru0'fje;nSk]eEY! ^q0CL#W=9ՆxVjf4Ps&riV~szdvWVȽܙpԊA<̐[$D\$Ib>#(ANi&LAa?jY^660{@ mZxjcA, pw~dҵ e]|z._>%]"KgYZ7zXZִ - Ptolemys_TheoremF! V]ŗXi% QFe"} =~]JD~ADVɃDSOWruB w1uن%t]Pͣ "8Qʦ"Hgtp~&R:qXOrĤ$p U]0.T62-ʹ}uk]}6^&M4h?::VY%ֲ9({0Xۺ f3rgYZ726f8e01949c7e86b4f11f4594174b1d2b635507 bafa67240816f50a370a8091bbde59dd4e970f26 db09a704f063b4cb99ad8e0ce3249c2ca42e91b9 e334cdc2d87fdcac44e0c30e470acced5d564fe63b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31 10cae7858f6298753bffb93deb42b58c91c816c8 4167e44b8013937bf7e6e2492589d57b425dc2c1