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 aC 4D % Boolean_Expression_Checkers:threads=2elapsed=16.988cpu=29.768gc=1.980factor=1.757zXZִF! ]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁ]&.)Z4-nqQ0GY=깕mjw"wf: 3&hc1;VFɰ Af%Ӈ ™D ),)Go^+.r ,ePUb&J7d_&RSDA M3~7BUem[VqSƷ(&|DPTZPZd=ZPPN9JԒǙ `~QWJo7! ^qr2eM)L5f@.*`#Hup2Dѣ D&QA1C}D⪟vdǬxuC쟹yZv%ėT` }YMҫ Ŋ 3KyFR{rE+qzzjAxvŢ@hI]ӊ+lg3LQN:r,\tT9~Y^b!1`丱gYZ7zXZִF! V]ŗXi%s OjLڇ)h|?(ö?HNHu0@`@o<6#Wf9_'j214-H/w_0NNNvN^vMnp }yg5s|KU̕0' T@\]"fScͧn6ɫĬ?iEEkz%\Ӈ&sj( 6vF!wgOp Ĭ?"C&d61 jK<4# 'pgJˀh΄/V"pXj74SNvޱz49+.E/$;͊@r ՂeuAP"4W`H.Z(Cކ0J$!hnGX͒h+<^W{z)yCT|Qiь` z´tW-򺀴rjBi.D<ˋ^V~;<'0rSW>wu*Hn$t*s\ +ݶ?7x_B3r2(kPJsFpc˪T6/W:U[3lOTh[ًÑfkBEaZ-Ub5O) JSrPꏡ1+,XbpVa[{= )"/Jpхs/v٘3XNktȽPYf>񿸳o)䑊cJ紬4*`u-cI2pDA5<#fwjC G%u؀=y P>jAXɪ`I:.QCC1UgTZ6FytxaYEU>.b@UŃbw-q,S.^n5B+߮l\ ?G8mUlh$<$=zA_zB=(, &R ^kE ,%Nꆪėfԅiya@ya]Ob3F:rLpZu[覐w%*#hkaegaziTBXXɗK`8bsَmD(8q&J](Gњ/[߂f4w*>|ֳ]ƭ &Thˑ} 51f)dž-5=XpESHv$)@%e}/\ ^>Oȷ(Jq*ABZ"bk# 쵪gYZ34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 5b7a8a74977f35c97745ff4512f1447d08ad5d6c 5c35e753de9008821a6118aedcc339f9365e8561 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa3 f9a59b55e84d053e7eebed397fcd3b207594625f9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 C Boolean_Expression_Checkers