SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 + d|< ]/ GraphMarkingIBP:threads=2elapsed=20.370cpu=35.684gc=0.692factor=1.757zXZִF! ^]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2Wߨ07`<}< 㻨x 8"r PDO}_@e $].JeBk)PN)55\Ԫ$p־fAaghkĺeNŌi5fQ6P{9UKU;<*Z}ijy˪FLQ6:2iM?BnD=ݪR6 ?O)0IϺ]Hwz9Υn` TCLA˭ڊJ߾nTɼ)$(Cy@|!tJ0%h9ǭlOԠ\ ]a E&Z[1 5XBrd03WUz2~ ^[J,w/1t(Z=[ſRSkRaҧOW4f +@g0t\м4ոy/#&n1>b @20l]lϴYV4KEiS`^Yh92)D{4ۺ9Be lvE+[+AL[&QXKgQiIA3PG`g;,c8HgYZ7zXZִF! 7]ŗXiɟoptB"5`'''?Dnune[=Yc{/Jqfc8Py } -rȑۤɦܺ($ʹ΂7| uƘ-YQh\])ƍgkYQ0;3>AanB.1i)J[b^Ym[{`W3mL:F3!K}dhO,q'#'$(KQwk[L&>u.`d|}i\^Q4h~Z"|.dgYZ7zXZִF! n]ŗXi%924i׾&&况 nt-/n ibIE! Ӹy,fâ)3E|Ò)gMNo/ʒ`ے"; sJ}EhPi7p0|V9l9nk8DCL$b:'l,C @!u5'oti;H\uFi Nh0WvI$$ G,*n%m :̼ YJ~*hlls@0}XqTŚ.w tySj 'e! B~ 8}'a5ޭ>>s1 Pxb'i& (zpf0iDEtw5s ]2zL.j75, f*7+K6mnGA~4Pgϭy!s"3%V]dd֙#vW`\Ez#ICgVP5RvwV}bG&(q mR^{Rn_-dCDS蜤z-HE~,J܂a ]tȊKM gti|0ʢhS]fnyDpun\V+uIʹ_sn;mE~ikk3W<֍XYS8vqtB踠h9KTđ@sS>JƵCAUQ(${l KJktiê|F!LI")߾< ,m9