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 uu|C \T % Boolean_Expression_Checkers:threads=2elapsed=17.033cpu=29.456gc=1.788factor=1.737zXZִF! &]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁar̽BzUڱx]ogR]7ΜAsH5Hv])BۅA,̓O4[{XSB?2͛GYeQyyms8'݂ qe6(FݎsyUwiL:؊@G":cdtVcn= z C Boolean_Expression_Checkers81pJ5iv_HYɼi N9RH1^?%`2'ucBp<A*e+fӟ,KP=c -p[:#e@4!\yDt+Px-6[󛽞C/Hn\d;&f.J*[_= o(bS7u*)$#)#OUYr_̜DeDϧggYZ7zXZִF! V$]ŗXi%R2ԯ9mVэv* 뛾ժIr H b6y 8Jz%/)[zo Eی%’os;<"rN3~b~m'N3V&=zcKk4eg>CHغ~ڐ5b4pZH]?̺W9<wօ~ȹ[ efjK4T!rHH@SC3[E C9~;G/9K"'ӓw;^`Oy.!~\=?T*@ F28 lh0{pkԇ gPqx?BL} 夹V՘%;vs5][;حW0Œάğ!@e.~rcAP$VV@9hSn?ǽ2{-Y T0o^y'A'D/hO+L;9 |rF(7ab$NG=+(T]:!ˌo͘N>#Nr 4XZ}tߋ aDp2i|+P[c$kg :xF\-ϭz9W' dpi%! +y| ٤GgYZ34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 5b7a8a74977f35c97745ff4512f1447d08ad5d6c 5c35e753de9008821a6118aedcc339f9365e8561 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa3 f9a59b55e84d053e7eebed397fcd3b207594625f80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c