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 33J+ d\ %% Secondary_Sylow:threads=2elapsed=5.249cpu=10.216gc=0.324factor=1.957zXZִF! Ii]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃ތ})z(M*IxHhvp}أlIڧw3#{1[-3JM Es8"=I1_hA69#n"I'~,R3AC7DYMawD&Tk}.ËmEU2L.Z=jCB;Pǘ) h1eJXɊU`Ϡ,H\#=fe\v\gB5xG yqE‹\!FFLv(֓ap0)Y&vF󹃹F6/"аѴTiѕNo-Gw-j4>{u}&4J%cT݃_@z3_i4%?";Qq~Y$;[..ܸ d,ev^TTwK^+Nk@ѪIMz0`t-Afwh5r[]VFt3YfuNu:ÎE tʪz2 ŮutƽO7yEY~^WNY6\KwF P)eh6)A 0Ψ =M ;(O}u;3MAV-ʒΘCC9~4Z,•1-OxgSr uޔfމ1x r۽7 JDP #o2-4İp(c7bގŌuNZ >3+~k\jVQhKU-7vX_~Щ !6v?xs?nBlzT/۶+0bHK),^NL4~A',Vi]m|ENb܃ J  $%dggF( ߔ^-.FO־R4ު*q((}B^T:woWȉ m/Z\XNoHG@cUN@U͛T56l2gP l\owE*~XmwI1Tf8\:a3oDP#+䇯B?=,t Γz$gYZ7zXZִF! #']ŗXi%qʗM}tJќ"L`=fP_75m)oiqgJT'܌RCXH_p+mUO Ofdյl;"]TWgͣdIo+'x%qZ(F^_^N_@~Ghp## sF8!3Ni8.HH?j¢p*Ҟ_<9GX?)4QѶCz=%>$i|o/ I=o@/ZqoPFnlP'/6[aqHNO%"M^beA x gnt~s=m攎_!*|gh) 3"@T%=ؖMo8+:AH zۇ,Ń@nk32G}Xbl8кZrr迌Aqi^WB5N }챎]s`?Yi7K3hLSTr&N̺׾]z:\r)o:ImA=R