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  L7<$ ]/ ComponentDependencies:threads=2elapsed=73.638cpu=140.588gc=7.220factor=1.917zXZִF! ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyx_YƤD%,tXo^j_5#*Y+Re,.NiōA=mW_ yռ%ݽamq @\`R2Dr \"7R1IyG9,TW h}}%I5MXm fm@L2ت6ixₔ 1¾;bPE>@<\KJ;k&ן!Fnތ\d! xƥҩNi%&>ZZoSJ[xwy%q2RڦWZs2僚[u/y2W}2zY?ָe*iF͍_M>CN7\6;ƀdqpD@4id4,ioj0#GLtIY^kHzD/CZHa?'51WgYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?C:'I>דA"5 gƹIhT9h<ô}T6 Fcs&;1& f2bgݙ}ɮF:.?PgYZ7zXZִF! _]ŗXi%;?i5Λ4N!}%{qSޱ؝IE_ D)v#A_W/[m: E1+TjBp>x[ϫtj p"db`K?یm*^8y^%0쓗Vg2 w 7 ComponentDependencies1M8.J(+5D,{2ࣄϟځtfIk[Օή8}}&9uqm|9QlzQ"'eڞkUi6BKC <7 eQu|,80iZ2#\86?搒#rSL `̖ci8VsѾ*t=0gl (Y ,V^[x=ZrSCTA=6?[h9u Z<٭cQ*u.rM"ek`Q {A;SY]>Ͳ^PƂ\$azFUK^~櫈~=8E?y _}ͅ1>yBH{?O > `shM<2eM{A`!6!aA҇nW|d`\;mqV G粺U1an-EO?h U/~ik)? 'ӘЀR(+V2П>% ǪSn&Znb1l]Ê88|AU[@ˋ]yHM܇u?'w#$v«bg;=V~2 18MLz598,, R~~ߧ7Jp!8EQQ5 ܘx0=蓨rW 5]㩏,"9oNt?-*5ʺ B'k&\^ dD3yx3.n {zyް]bo&eI:4Av(ZhPY<1/[{QTSeR)X 58Zs o57C_fGA,jJ9ӛ<2,Z,zr(9>aO1ۈpO2]r{MjQ5TC K|W_+T a.W^6kE:Zwa[Yv S;#pp?D5gOS 5;p%^;[}4A{Nch*; w:7TQf뫾$Zq9)[QQaL'i5T"(EY @jA>ROt˼Om5T;x[[{mp"Q"`ʼo#@n]TOiKia7q Bz/TBOlߘ?).Obj_KdnO%NcvM@}8wP˸/E-X !h s&V^.E:+D+?Tgu ;*)R{pKpb}_" L^3_Xt&i¼ ?KK ׈k:i8?̶6^iICKJ !J9FֳB[g\@NN&56\VW¶lQ٣] 6U&SP'+m)߈(<# +DDFmvIK@+מ1 !{i @BBI&LjSmj9n!lL+P4k*).v8I,t6VFnTeUu<~B3a웛mqۦ8e{C$טXZxܿۊ"R9JU; 4Rp~Ml! ~f\F3Gf-4U5KC^t]C꺎g$sRйc3$nZx rˈb3! a PX|ݱ=n\cςz%yձ3&_* sH++'!aB8jVx䜕duȺѴ!J@pv}+'rR4$B<˹JkOJrqN+O( ڧ| R\6EkAioY/<-L= wWI8V#ՇW?2 VC3𮦧G'` t*C #>#ؙ07yk DҼem?c)eN.WM^d`F X^'bXO+;qSׁsȍ֏ek PvzZGdk,)o'x}I!~umW Oeb DˎM¾Q1s_oyFEulA[-yF]Sa-FL,Ks)HF]\S;~ԪӄNlZ}#,p6+eFڔSSJ 4̐E3o40(g,_fz˨ɪ^,\ɛMҺ-a~J/z!L1}.TP Op'rZ]=a]7[Km+Fx (S޵\<լ _Rd@<Td2R. Q1th,j V-~ qp(9v3i®}LU>I ʇd^?ΗٗI@qj4s"/4 y M2P.o={f5#-[cyȲߣuWUGdPs3 R/%/b&XA v8`JBGYّ5u #(vʹI&wF14IP3\ IS1 I ^G}miR˙՟2nK +c3,EIaG7?-Y7+izBK{T87pAK&pUpWUHf +aHR Vݹ '物f<SD嫅u g`[O" wX T YcbN@jcAD|&6$G׮:34%'UQ!;^3lq;<[?[k}D;0<~p4'xbL(Y'~JsVνAU(-W[G1 ÿWgYZ1cdc968f1d59fd2b4b4ab302067762cc402b5a9779d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d