SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  ]-4  ] Ptolemys_Theorem:threads=2elapsed=2.860cpu=4.332gc=0.064factor=1.517zXZִF! ]ŗXf1-/6vR[3FEªӏk44TYz9߆cG٬C^t`5d(aa~f]ȚAN 6ZCPY0e1bч"5}Ud`o]KA >WgYZ7zXZִF! UD]ŗXiɟ˘@ Z^ĝ_xךxȍRI;54C=4ぇR +ލ `VM*s}YZ7zXZִF! F]ŗXi%90øS/; ZO 4ZԮeO&9$e,%80c~' K9"X#v#LMw;o( 4:WvQQ(eC~/SOY偰} %Yx2Yxqǰ bI_%]9-7CRZ 6m bizfSJ S yip윫:߀CV^s3.>P1.zUC B*ǂl=FX`]Oz'-͖ٞLZ#_{!V?.\kM4~q1 $ځOl)e7O11J %iњH rd_b-,>h\cݒ|0#gn`*Cҩ6sf H3ޘ0eW%Srw4/ƚ3Q^ēn.$PGl>h WNMzQVfmǬ.YRppb]7q8gYZ1aef09721380573ae6429b971ed7edeb2e3c1511ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 e80462241ac3de8d4540cd4173ab1f28a290f55c - Ptolemys_Theorem