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 k % L 5 Derangements:threads=2elapsed=58.441cpu=98.096gc=4.512factor=1.687zXZִF! `]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#P蟊xa6`[%J?D-X6^?dk.5zYs>I;Sѿ)y-E \@j،BqgB{!̪do0{KڼIAvs,Y- H^pi%8(5IKYCQ>ѕP0H\V1qC@uT}U4H8\ 0r˫ `~8궶tzT5ͮ!e~'꩜#a. Le- ]H.n@$\sV".MJh!9ܭ|*yuLOk&%̀OۅN3RAD|VenvOǏvv 3 _HK&XVhojۊa_fjYW|@+柖NpTO_ZhQ8o(Swl+`P9nL~3hn9χou 79ln s1j_۸IuX[yJlXG+ :GJ͒FҢ;P6 Bf ֆ4ݻ+߇Z+&^ 4P|Sآ V9.,C-o6rZÈ,<)x.zڪ=,k}V'L_(#,(.:ƻǞ\zNL#'YY!]| dը6@ݫ$Pm>HO1ݘ`NѰb0t̹䲈!d`.d>(ma7 P@$3"{mLpG4~_Kk6hSzIZ{VN셵!$?a&$|#})UĪXQsb1"}3Jބ *oyyJzស4D?xR^|ͰCӡ֩PWcA[F8?5-?|k̿MuŘIoint+Z%7F?e&H9o`:䥰`.Ya)z*Ŏׯw\s)t 옍{i:nt&1oz_:H( XVKs_$kC/8cz.R$MVEiʠOˑkձ3|_rmiImatT&3[ JdHE92_# wn`.YzmQx+pm6%DdJp-S$ I^㧘Q;I&&?bt낅X75G p4{N3nlYZ|T'D4c1:sm/B?qM%ƺKڞG#߅Y|Z㢲n&aѶfzPVM9„*U7n'cE3@[>!NN ї"spuPkxY pЛe7\W{f\Oq*gMBv-BҊ!a("񞴙]$oIpplB I{E Z/s0:%91Bf&lgvrG?KXKͦ P}I,zݦNTd:|Wp.ph܂ ^mq?\2*Hܜd8So BlpR#FQʠ85jjDJee3u[HoӘyC5s 6!}i7mG>,<]D pAF1xkŎ%<(q!O{X۔=d_\sr&O@NhBMf\L,VciWm] U7Int50[;տ 䭳 %jw{qɼes13ʡV}A=C`//,wgV <1tk On!CW/$Ia;^k2ɸ%1Ӈ ! ؂ ֺ잇 Jjm杤o498DM6[2D:9 TkƅHBmU $iҞ( 4vb4dxt&q