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 k/ <|  Well_Quasi_Orders:threads=2elapsed=28.377cpu=50.736gc=2.872factor=1.797zXZִF! V]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-Xchȫb3ݖfȺyZE!WH/E[bf*%K~C dOL Jׅv 31G.JL>U]kQ f$a_Dg7ώ;?6sUw+G-5Â,G(n:/4^vkJ6$Vy He&\k1FDsh}qoGNzKkSN:l t0}O <>m^bcK ?Dw|ߖwS24e]aPGv,g / Well_Quasi_Orders`MHMP"O&闐<#ncx2셚t C΅Ar kجO:V\l5b\Ky;i:[aF\7cj# k,>gLJZ9ힸCz\ł1t|3t9{1^H\Bf^Bc,R\z?I|T5uGȑIˉj[Z:;}MĬ1a{$n/YIIVqq[;ƮP?n+-7e/H/Og£죬.+E%VCOJV/}-c;:(!1_GGIr2ٰ7gkaST6EOF29$/*>x,xBOP'V]vmgoc*j ?#tra& ^LEIlCIk;h!S|rԪĪUo6@cYt&nj3)/w$GuUYx5DKqftRt>w U=o@q KsӴukDb >_Z'gnLP\ x$AYL4eXR^Ծh/髚qh6ӪD7N_`riT^w( m+;z2'BltWw/ j&|G(Р2pCFJ8b.h(qW5불/Ό\=(E-{ިc:EZ1P{\>6O,,u:=lrᣆxMuzg: tɬrHa: 6kd%3D j;Aj؂ﶧ* p %sykyy8.,aP.-'8<}vjJ.!