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  )7$T / ComponentDependencies:threads=2elapsed=74.531cpu=143.628gc=6.080factor=1.937zXZִF!  ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyz†i*TZ6}msf/}3kuLR[FL lK؇ xPdFK43L{~gjLZIzB$\Ж8R =޼A%ꁇ|Oĭs)ĬPɱDuKDedH\|/[=k./CE؀#(9PsgK5x(֗9;sA 2+ !2tN{CPBta3!,D5":J0O5EAUm+gg ej4{¤HK?,6\Lk߆KM?K>*]Kr 7 ComponentDependenciesOYLLoJƣWfRcݑӫ.<Ѽ6-yk[Q#!P3S+\D4Z $f]9 v3?*^YJʦ)܃9SZF:[<|хδX}A3u(4,T^􂃑Yv7edfOLF$eGPrxxk@e.^) =bjs̎<<,'-=uZQVvyiw) luD])i5(%J?Aa?xb,cJO \ʅ+&Js~EG Aǎ_ߔǐX:ER#M4@^3[_Qb>` U>͜ FY^ r i2z{$7p GE2uڇg5ٽ Gw_BZLR|8wr[ޡԴ41H<A/ [yiLˆ 8y!1?ڈJRmYRkb9#>ZƁ6QF0Z Fݵr49`1Z5eӔuްPnq[N: vިŸڕH=s/\]5iU1ՐT8ydNս"!IZ(AmϟBFbXuh[6fS-jk:%kw*dc6@,"@?4{4z_8,<߱u5AR[Eσ t*Sw|sMyaUIT`߈-Tnc2 `9}tiRokʼIE7 S'1֟_RSY*y"7nmy2x_ߋ R8v,sx&bDזߠXT]wџR;<⥚0F-gH9BFa2+e8 O#xtpB)+PэR8+]Ń\ /^*Sv\Xi&c5= i"i_^ /~FH{)֤MJՌ:v0ɋ14{T[s(tlp-ui,/{4,PIJ׍EeCX?=u.bq!nrMF[j[}gIba S @Z`;<oN_"'qF2r8ᐥN0 5L b,N~g]VxƁ ]-U:mxZrpRJyܦ ($mѝ'XO<مJqqM>1@rmy~88e<R}1 Xc."^ A;~,[^PQ21)ñV\xItNrzNCHdH@X˘ki-cF.>'/sZT%j68jn3,6ўlj>?d?A] ;o(Lo".DM,4 ;]q d[ FgO!40 Pܟp/p i4;KҊbn:_` 53.ӊHDBtY# 1Kq`7U)W! 83((mkũ36Tv7@O\# O2J|fI_hw__r4 =ݹbսУM:.?OTX~H|Sm+(;q0'@6j(N uF9q< 2[Z'ORtx3+Ho DJh9oό J/喅(N2_w_#Y:".w G!wc<+O~1 !Rg?fkfh4X,H8=>hI٘-KkDrM~ZrVNUFad s۝>\hGjeNBSP+EU=pK8&3V Y!RmlTT?Nۡ1KIwCVţ  )A[Dқb1_`oIChY,?+Æ'<)5n3YI% 'pYN