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 + t m/ SenSocialChoice:threads=2elapsed=22.874cpu=38.228gc=1.264factor=1.677zXZִF! m]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HvRrMj,c',Ǭ-r>XQ.50j"L*S tܲ&8=(c?nQlO~3׽O :r>!Is[b``RB}5PkYA_B^r<`,]2m0+&(}>AދQ <"е0&MT7)G))l`cG4(-{;)WG~[,-%0aP#XuloS' ! F gM܀S& shZ=c-FYiǢ9 nЦ'}M,mQ6g108 !q1OjdfkzT j½iikͫZ|ɟNX83Bwq!eGQ&gYZ7zXZִF! ut]ŗXi%6gw/y- ?"p?Qy)W\T?-g]pesOJ Y+\߈WEzbq'\u:23_oSHaZ_~"5.7- q r|1s]Jx@z?D87܅JLh́k9w [XwTEuEudd1րF)a ỳ+o53}ԚzR_;Fo2$$" ļXᵂcH5/$JJɸ2QvEsZO*S7QmQANrel-"V"čE#t,w6\szĽma:3d)^x2 P3öwdVf3r":3,:ּK*\WxkN/bؓ@F<"4eTc4:SbuF0rtu wiX;hω. .u -8l/|oujHnMywI4}AX#q.ט|yrZ33%-L s o59ﵕ'g8 }XԿ7}uL(?&J uÁ/Ű܃ih5[&XݢUw<`[Cm3_X$˶*ie"D@tA{2GgGhW 2=8ca0p t)) b@gc^%1mkAg[LU.m&,tCLzZe8