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 r \t /]HOL-Word:threads=2elapsed=23.093cpu=44.128gc=1.804factor=1.917zXZִF!  ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z ӊОo=xN?Y@|-2J@_4O[vHH*G"VLLY0\`WazQ0Rb#;@TZ2cƮNO-`sO>O\GFnBu,6:x9#o0sOAډ9(Q9ߡ&P 4)54Ee> X *FKQ[PMs?aj"8j2= e{]9(!)hA=V~oT\ft ySNfStpy;K_ae1xTd)+>߂j8%{މ8! vl3:dɧ#[H(x6&>s[)3h`#;Oq_MHuY9 t̼[Mrqu;Jecz $`r5NR,P!gYZ7zXZִF! #]ŗXi%6څ:UP)COnM\Mfu kbG϶T_N7.P&`K~a[qQ %oHA4WN3m(0Ǧ}L5o{U"O$5kdzEo0h-GOJW `!i#bctOP͌% l$#ȓoe֍+bzH)%%`Qd0RIe(1;kυoǘ'?c &d eJ3[t\t**+ӎ菩 1}R=rj4SvNi[;NnZڪKd1gCCg]{PPкUzP+n2Tu֥"e=FeSmкRD'崇/NSv qnSPg3Be1ֺ"@՜a.F`CABISq"ylcɭOF+@>v8џzqcLK¾);G[./`T