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 YC tt % Boolean_Expression_Checkers:threads=2elapsed=16.566cpu=28.976gc=1.836factor=1.757zXZִF!  4]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁa"G /P2&#ʥ ědBeS6Q\ͣ71:"1 =?QMRx/#ߚv!WbkuRÆe&?o85<6]mV;[mE7aҮ!;MD)D n@DS!M qx+jx$(,[ie"": odكjF8A c׉s~%r8r`k ?6 NQ6OSa{G[sF`ּ Խ1~b(T/*0wNւXGh9ciI!+;֗28!A$e6{tz R!<ŔPuxNK+-;KÁɀfFC)Ui|bs'0 c9PNU}$K)ܣmu@]t6*U>gYZ7zXZִF! TZ]ŗXi% dž*XZ[vo-"uhͿ9/W6B=Zӗ0<b=[(˙m7`[6~ #HASj x, 33r6 ʦ]ޟEq$HQnhmSiC}4Dr,zQ@k96d ]2m$mU,rTX"ήAPP"hɦۥ=9\l.'Ę +F@2EVSkR1c$}i5 2ER KDitavMH,GQ h0Auh5b-HuzR>)U ( D+\@Q;a ni"yNH>V6U1ci(Fhs˸BpvI2%Q視&b>A{zcSv ZPZ Ԁcx<9<~Zq!LQ؏i+[ّ4yۛ#@* I0nz4.UMdRxqJ@9M|WEQ}' =@t%:YB`E>1Oms+op[HHY1/mwR.÷;i4o=m\?K췫_A8Ž)b>)zzYM{U Ȑky(ăI#X9 $i||sUqN& 2ye>ċЕ;Ԋ!^_Wb zki.s1 $7Ggc,]Ͷy[lu ӍIDS *a!TYC ob &OTڸb[R"'TNpCl*d F;ɜAvsd:3fK)72PG23](-]ffohhc-cjN:2WA;(|s.wݝD)EZR=Α+x `Lo?tld G":xpbu5aAUX0cRZP z> .~K\aOr Z* E-l2Ү ۨpi&YgYZ34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 5b7a8a74977f35c97745ff4512f1447d08ad5d6c 5c35e753de9008821a6118aedcc339f9365e8561 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa3 f9a59b55e84d053e7eebed397fcd3b207594625f728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c C Boolean_Expression_Checkers