SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info }}d7t| / ComponentDependencies:threads=2elapsed=70.060cpu=128.640gc=5.460factor=1.847zXZִF! 7 ComponentDependencies u2s]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7s" 仺~gysM8L݈AQd@e0=wtwӌB%05<⅂m%Iɒ`Ih2LZ+,gyJ6yӋ]zqRMNv!YPl}O__YRk_HX6ozܕDrXNl[`kS L2cO}Qc҉: 792`kn0巴)eV, \(:$;z M |軚ꓔ"R3b}};ZJXr3 r2?xZuk}qkZ tqemVIv 'h/ lйr³}jtʓ+|ϲ)e-#l sor)Ȫ3IPax 51JedaÈҔK0j ȝW/^G)v&H$ک "Od4۩ij y:Ds(}&cmkZ~2~JhĢ.XVc~{ y]FtsM蟝Fxr1פ6j<sLDJXK1AeY/j]`*)4ov;lOK.G4ZeSXӴpbYCΈ@ع [ gW-w*a7 dYI&5bQ™qY=HL=wsB}zOFWY)kޅ!Ak{ճU(> =m. :O@ۧpˋPX"1=+pdM1xb;"| [86_,דeO֪#~-wd+Ū#\'QL$`wfQ~b?m%(_̃8+ S*%Ky3٩sTmhQ $ ;Z)pKyt6}h[IV!2| AJO o23KWQ6t@oX2 "3fgYZ7zXZִF! H]ŗXi%DQaD\?ײ7v+)?Wﴓ+Q3!s] +lI"MbXVPEP߻tEJq.=/`(/prpO 8#) =9ڵ0Ыl1v ;N+e[Ǝ+{ӫm#p:}BBktH7W ^A'Q|QMzQ';i0Kad?\\aKY( }[ C[`rgw6,-k^n ٠:H!QM@#Y1= f>{4+ͨͶjxNUm$m:Cjl:so0"\SxsX9 cOLVUN[dϼ"N+ʣﺠ}qMofkv TXO.|#72.c7_oќ#$6 *`WAqojuR,uy?a6Zy^gWoeCtO:iK|i-ׇ *Ryػv\9M^&p 0a>Ֆ]7W&N|`t[J%3Tm)d%I^bJcw/V!bES|+okY`c:-(,i{IjD_-6 oPQo'BN]z/? Bt{?h:ni\\<)$+!-!Dc<\ڠӳ7UjE'o] 5Q'g |el`SNȑ",k(Piu=swq2t%Dh +asi&ѵN n-]VGgN6$(*ٰ<ݝbO?nMЭ?t Vx$>h/Vs^yzld޺A:rZ_̂xGT|Lqx@Ww8}vPF&L=i7Ehџd95(:> *ȴKf>ݣI23Dz;43% i amNLJfBIFgk(\\\e$}@CSu0\Kul}BECHtY^iE/@__ ז)0MBgƐa!c{73#~Ȕڭj+IR"';0 oI01 pwon|sJx 0ف nw&({싶99,感\pS3q )WEkt=:Q= MF-49^j^[w;~'ŃsSX+}b߫tyYK#֫!0wRB qv_x {Q(|Hi(NųvWD *dw\1vimɩnR͕JY*RRWhh)w,Wmu8JBI#1wm).~~y=G Hٌn--v Z'3(}PXb31SE- W8 7~3U(La J e-u[q\8֭a)O绫SןT<ѡ*vӠݼڱfsW$e"pkr%④BoFfέw2ԟ]D"ϗQ"̩"%O:EF4lvPzD~p(GZuOLs;Uu \&9թvGi 2oI Qˁ-=>GgK^c|< T &jf~ + JiW$4^;q:m;WhۓIr pH˔˾Uځ 3٩D #6`߮ U|ns=b_D9_qw,wj"u8*@_XSf,t}VF ._7xkbċBJ \d{8՗4!1t3fk6Y/u(໺O63я7&Y:ECMc@uRA@зs@3S3CUjYQ }EPt/k`6!QmS5"~`-u'}I~ s8,U++{y_57]RNUS`^ S"7 \wFEqp^=%&b^BU&Y^©]5.DQS@>:TpPbk]Q-'sW 9̭c.R2 L=-q g&O<ȫLSL$,UJ+܉0|]-bPb.n<8<,6cH6e<[lDY|;=@NÑaߖT ?^<:gYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 bc360668cb496a7bc167eb03f7fe8253a9d62618 d08c35569929f51ebc66d7daf2307976a0808b29 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc347df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56