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 EE87 ,l / Transitive-Closure-II:threads=2elapsed=12.959cpu=22.280gc=0.964factor=1.727zXZִF! <M]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'="×]$նcX 8cޖpA5n~O{ Y4qz+ Ҧhs8n-fN9|i!2zve**KC\8g+[π<{n_DٚF=O?gvun {o,sŀWui+\QvZ]k@=z~wrRN3'b;* 3د:5iE(5Qd)` #.q DsT&P/>LЂ?g%"YsK#.L2A WlzGGB:hԡaΪǁ p:NdOJ2鹍<JTYbInSbSiƒ)8~X>{S'O\ FqnDL] |#iՠ |%[gw幱8bOr x]BV]qvɒQW/' ݍ.Y3}M8F=CJ`F) eXI'dzE 侀l‚]aVEHs8LS~F&ѧKҙ "oɖLLbBp6w5["ݬiVHA1I2h7R)q;DG_f1mO2D^R[NH5g~w*_?uK—kbwd0pkW+}ziO}!nHfg%}82,ٛ Sq?(~:v\M Cn$$JEn*‹ZuQPG~}B-bIW(@HRS̆[<ų2]'R꽼/T5|!}pes˕Er"2hRW[75kn!V!ON l[COk3gt:1n{ߕ~e02D~Y(dvg^9/?7ZC]Z2*jf4*o^Rw5c.+E}X@E ^]glvecn˳B@N'ytФ? !G1IN?b9PnR}qCcJ_ n]$%-|ٿLKXk#Es>[^t\BDɗ9Kdt-Dq0{/LScT @jl#qrt~6o?L/rpѺ6:3w_ò[5DV?*6!O{QNwoDK}4 C$yļ'C(ٙLCQ