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 jj TV2%`&/bU+G{X|җǀZ0'Vi<|m`y=,G}lDzXgGh@҆i)sLfzfCȐ-[Ry1 Z%4V[_̰KeǴ'{X3Oټ $0|AԢ'qL];kj8|O (c'<@ud~>vyHjPv[`v&|Gu^5ia ֪,C\= W+"zL!pxU""pvZe/si}x/jiV䩀CLlKq7Z?%p*=}D;\Ur^=a0w~p!ҟA->N )dR%m'\28_ahݳU}ܐ[W !1i7 X[<0lͰ\~+,91#tUJE6-y:݂>Xj)P:զE?orϼց^矋}N9*=I.Á*pfDU+v }'rM/M z"mz&7Ģ)$o)6 IdM1vǹ#3Yi:[ڤ: %uGgYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]ʊ{ [OysUU*/jwՕxzS1[6\rPN1xl~*E[*>qxU"XABl4kE o${ K1q5^(]K%UG\F(aKszA-υ|fhմS fj{V;.?z7 LW*3r1V=޹ӔJ89pNe]nꝬ'omAcL4}eI]n~ 3^Z%ÓadH,iO7v5Xr(Cp&Z,тW5{ͣGp=h#Dq*J~dBmޤsBCN.X_0_gQGs^WCO&R")Kr;-Ue|E/%O T]qBS5}%\9oN;!~ne A/h=ɒ"TDɺN\-:gYZ7zXZִF! D]ŗXi%9#vn?3m ѰYpcT9rwcՀ/X{+/V[LQm+&tj$$9ˆ%>{ 'wm\  a4jq68wώ-{`'X8$L |zFX{ !4~2H(l}AQ0j 5<|:5L]\81PDn.ETZJݔF. P 5LS\ wf|Slً&]^80:>jҝz8ʼX hb [F!%#)pHZhJ6xH ˃02 G޵\_jANلD~JG].~0v_@W b-z9D|̓5mvȺ>2^jLDA?#4r?h#Z (/5"M(M¸2]xirⒹIrP dNL_X4|d]xzH BO=uH!2 OP ?xa Jhj;J mRzn4q.OLpgV`anQFbi q-"/V꙰WOt-$$QǕݫxC&5֝]k(*t![q-ʬq,>,ұHwO:׸O/W_!1Ϝq\on+Eve߯afPgV>WQP:m,J0 #ȟjQD <[kKpV|ipBVT{N5 uoM*\`iΒeɁe ё uy|A t  hT H+9gGW3ϰ$3 tX9a|_(~{PA 4YgYZ2441f46dd7278e7a7158087a557d701838f7ad928e59201648d7aa8ce728c4e17f1d57ee228b2810 f7012f5768972a97f450bfd6400e324efa13b31178f74667abe534577a65a5c6e602f5d759d8c300  HOLCF