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 <-,L S% Ptolemys_Theorem:threads=2elapsed=3.258cpu=4.888gc=0.068factor=1.507zXZִF! L]ŗXf1-/6vR[3FEªӏk44TYz9(؊+Ag unԈl3̉\e|F{ҝMAkN}F(y0zDx  ;eS%Pa*VFξ`fJ}!>_EèԞXS)@1DZfc *KRNp I]YW7?ҙi$04ͩ׋Y0sF.9*?=e7Vy.꽭5Batܿ~Fy;ʰyE0.ز$k 6A'v}硢*ƿ9=mY q@m%eL/r b gYZ7zXZִF! - Ptolemys_Theorem `]ŗXi%e&.I$1I'`!wF%K`dYU,H{ҝ-j5)>)5-q0kӓ`neOV;`rN}U,oCOө Boc5)e+ VR3"ݯ<- UR~jF 6|q5Sge.z VCTJgxEwZ_ēc^L:{Fmi M:P 3'cR' ,8/;_LQ ڗC!49=HCj6cVeϯ>@Y]CE6*?JuҴ.N{P: ^H*P8&)l(Y ?@Rt+-^oUP GE+y:l2'=`,'GBDZ0e@Q/Eo9o#X #FyzU(AR N1+`yBsEޅ?N:UjD,B;>HB7g'^6Qԑ3.ܙg>y}ۦ3VDZgYZ3c2cae9b3493bb988d89b895c2dd3575b43d16f6 726f8e01949c7e86b4f11f4594174b1d2b635507 bafa67240816f50a370a8091bbde59dd4e970f26 db09a704f063b4cb99ad8e0ce3249c2ca42e91b980f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65