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 - $\ ]/]HOL-Word:threads=6elapsed=9.030cpu=40.056gc=1.496factor=4.447zXZִF! ]ŗXf1-q恈eO/O4EhM6}x6 4UO&5 YQ]o'aoc @f - ,qOC"G{/sgH]ATCۖ+2ԈN{,!+^PT˚,5Fj99d a0A,<הgQKL8V$J#xmN t)=uG4Me|s;) 74_}yp*p-@ ̃At䌦"D0mOg&W^gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AZ(Q9X:y+TC"[REr=֯CLZ7“F[$\đVI"לFfmoJrDs#(I'y2Ma 'k o biBDZVgBb2-t)3Xk'n֢M'%KGH~ R[](}x[oYm9JG3~MQ>h3/-Om s@t]K*n%r/=7TK0VdB€KR]INٯ}znנhD:}x EgYZ7zXZִF! ,&]ŗXi%90!%ZX_~~F>ˇq/ ٟ͛Y DC Dt!jtk1YP6C;EĢ#Г[-*3?_Gh¯ y1*mLaˤJ`+EMM4rJwdՈǿhİi-\>sylwE28 )gJ ȝI躇25uŲb@G8C-Dž1B"t2^z!Yeq {%B%D4b<(."Y.d 5WwIj3sf#Q\eQ]Nt06bm: bvԚbT1uy "0CoFً;ԇ:B9|c⢲8TE`m;vNNc !g[yhFa9TDm/o(~\bn@DqnzgBm, g0:6sJ=8R4) shZ|+'!ְEɨ7$ЩAΙExQ3,n 2We5Jli:~Baf/J`pn={df͊ vZߑMhst-8I8l1mY|l}z7(9gPve˶(]_t0O"鱀)>Kq;GfcҴE14YʡJf@Msu#?8s_6YB~$χ7j-gw2I%C/9"xj7>}#v.Ԧ#T#H(']_FEi+c.V%!äD+G׺-hm.Z8 đlO܎=a/Ȋ,?,-7;YY(yTd>>0ZSJ#;ѓ-yZ?Tݲ_i֜m rE&`a.YK\߱gYZ3f9090498e02959f4f9ea49c2445777250f46700fa37635535c1a91559f94a7dc9acf81e08caa63c 108107ba6152a8567743bcd769d1dd970013adfae0491affa43ef64307b221499435f247b2079386   HOL-Word