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 a |D S/ PropResPI:threads=2elapsed=16.657cpu=27.360gc=0.928factor=1.647zXZִF! x]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?o湗teݹGa:S], \^fGDTz ř9;iƓ+]At t5[KϨ[؇86\3.`^VF82 ,QMECT:ygNߔ+;T-A9ݓP} zį׽mD=eh(Z) Ph<(Ʌh_ħ&ݸnrqڂ{sJ$!}sUR];sg #-ŋH˛VT#gYZ7zXZִF! []ŗXi%6uT*l.^d!YdX xu${qdM!EVWqy9ɆH xڻ:@dU5Z3봕*Sš7>{OMɞ!C)r1Nߎ3u*dsiKn*_.A,֛%͝%x"{1O{XMJ uY֫ XP:}3Y0כ6_XrׇSti)- _܈B'%)N*ʞoi}m)=MOڞ?.8ZꘫʦGS/.%O&cMjۄHâƀfn߲Wbbpah䟀cĝDD c elwnu1_ⷌ0?&hq(lLgH_1b}VN§OY,+Bu0o U8ew3%M0jĠK/dFJ©zO`-!nHLU Ul(67:RHdݓd&VURu5C'`lt[e*"XL%ZFZh)x^Z4)a)7gz3Rj@; "DN/P&|)0eH̳I`J(uRN9zFXTd){7󳒰Ϟtw$9u tfk3?{xgDZKZvpS @RUm(ڎY>4+ђ~[*I+mdS|آ^,?D%2O+7+:SmrR>mS98"*Yۜ^Rݨ*5yA*oPV+ 12g=3Z2nX>[EQ {k1mϘWJ=h[pﰁ{1*.4B"SK| oHe/B"Y#u_j s3vkn*-]K.C ٢wbըeZ> Fcɀi.XjݿhIh*[8^i=C&!ǭ!E xT9~V +΍>`6 :ljN9\,O[v