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 n' Lt ]% Tree-Automata:threads=2elapsed=33.758cpu=60.588gc=2.828factor=1.797zXZִF! ]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧMO\}֑Xx(yfc$jxE"uQ}q{w$t]ސ޼CQ2 L 7o!FiyjX/~'-xܕDn$C H5a6'p| (BDЀna1g12A[:+c6l~'+dH$+Mֵk-];P("C^sٳ\#.e1?ib8ªix֢r9bőn/١Zҗ Z2(C9x'sm (ARƢT>;8i% gO;T EY[4,j}Iw۹e<He:b+>̀>.Wtӆځ8|9xȮ̶lEh:Kdǵ##R Wp6m~.fcQx~H@ `TՇEG(ڮbT8qNYm4r^J馈4whRUoOXXBUaԆ]JRK:1V-: gB94ysSfzEN[;?tɃGFC4߅7uAٸ%X x g60Ly2sǴB@p::xaxrq`Kp+ۃm.1(LnKz<ƃW4Fèvj:|#t}4jiSB.2cgF9jX=*pU- nu=05DZgYZ7zXZִF! ]ŗXiɟlAC?H 7Nz $̊e~shky|E}{ѳ[ CX̴XNv?Y >1o9̖kM|G3Q qlQ8Mn$77U-㷨*3Rt5$AC PmԬ5 _94Eقd96XY6ȷ!aE`,FʜGo1n KG8mVDExiYVyr/#7'D+F[E/uXˆ{›ޥTvX4\>P6cUfMJ'yN}ܒΈ f$h,碹'Pt^fS'?s3$ ?+ǞH%w  I̔˔bT ZD Ǫ/pC洠g^؅#ĺwoʥ05n5Pg^ [b{pME:)f:1%!ElU+K.4cLE&'x. `,7n=B.ʫD63L-ڶJ15Q5])/%"4Z>-tkUs1LqiL?لSbV6ф,(ME+; H~.m!'] 0 HL)ߨ߳MN74( *}(7iSvJkKÎ47%H}(q;pD0M[ ^$c')56ffqb mf{e 5R?!@oIc qVQQzGd&$ @=X"P V0[IeXotr@2GFۓ3)KU"M#pd^,-pg,jj1Aݗ\{1ٳVI$yؐQɡ~4(UK+Yts_SjN.iCj~)iefkԕ d ڂSJ v[q$@p#Scle@V1A[sdqLDYͻ {IrJM!,_Ҩz8oUZnÐp;$*U p$]զI"Y(G / =7v{ܸF4fɾ6Z޽$@+rˆN_i0|}CU# ـ㫧70c`9}qw W (B2oð?Mao.aP 7+A+żLfmpFz1/i*q~ {-S֥8#dc} Tp92*?6IYU2d>3Iϭ#HN.{lFG8R, k Dvw˔MJ[]滷q1APZ)4XM:r^ISԩR4