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   m-L $ ] Ptolemys_Theorem:threads=2elapsed=2.983cpu=4.244gc=0.068factor=1.427zXZִF! 9]ŗXf1-/6vR[3FEªӏk44TYz9߆cG٬C^t`5RZ;=SYqU,p!V.ߖ]z"58e=Y6|E&|.Ő lS&RH2&3gYZ7zXZִF! UD]ŗXiɟ˘@ Z^ĝ_xךxȍ/ÔAiDƓwW,Ua`VM*s}YZ7zXZִF! K]ŗXi%;x&v۲6LVqPxXIXs[10* 1+w}=ÐH*;LZ6e姭D ~h[EK*š톼lZK-mL5W.>>_4FMGDnh |gL +(i`hk,eW$@xx_/c ,VU/-*b{115xky$z `"G3(7q/=+c$c*UHB(3q]mk3v\tyeP|n˖8RBjE9|;W{ĸ5inyu8lMFRyu1cuJ;A!rPHvq5M`NK] sՒmOk<x37(&]aBi{5%G蒉1 KYڇ`pA`XL1Iֈ) N$HHBu~{WՔP8[~6/:!iT$#3]r8gYZa7d0b3c41305c9cbeb3a411a250482f7daf66b8379d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 27380dc72e623c038461b5a833200b5803ef071c - Ptolemys_Theorem