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 h1 l m]HereditarilyFinite:threads=2elapsed=14.857cpu=26.040gc=0.688factor=1.757zXZִF! qC]ŗXf1-/6vRZ)/V~l_vdᷟGK?尺 [-=CU;"n*?I=IVkʍNB2 Ռ2O]]bPk 0i:WEc˞#1œW21 [W35]#!0灅e̊|ا1R l~[rg0 c}'e[3VZIJ. 3)c9y-d@/0ae6 )NNTU iT&?A֝0=% 4djK#XAӁ烌( 2"B$мumChZA5{h]~"`~x74BLqT&SƔPRK7vM9bD.wO۴oٔ3Yʡy@no P]lM/u${!K 9(~K3Ѕ,+yNkjǮcEd8BWP R_iq:^#,m`g-zy瞊}Y3-㾃Cܜtucb|F{F^f9V5ijmLxcGXRZA/2dX,UrP苓Xj@qA>muYCdgYZ7zXZִF! RP0]ŗXi%sSsZIAU"iȰH| d'YsK:2YFpbɌA;rϿH} Z>OZ~;hKjmp#4'QKO'yh2A1DF# `[DPZ法/7w>"b.5 ji«c&%Or,L,I> -} Z}g_{)D(K> clNC>w_CڽCUw\^ w#Iíu ZhP1ht{7k<Ct:c`;na*/9[,zQJ%n*]jsbs4:` &AV9o4byΞR03 iv-м.$cA)Ώb 6y#Ƈh=kUH ?[ g>"B;hp~GI*@9Y^0%iP *`/q8ZNRGf 50߁zaE=LALl!5jɧ3EZ=#!%bbW'|L^1N[Y}p=0ړO%K׾{ 1x8"kh9+=!z+C(]e==CAI1: ^2\6WϢ/Qqr 6mnyk')sUK<)񒩻z+}>yJ)h)\^cfʫQߡFdMYx2=[%"h̘t$H>~! uVL^?IHlvH|.~<p$m‚p[5Eu?|lc;_Ф!iiP)} ѤMgYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a0d7a666e1ef01cff26fe69e59978baa40c126ac ab06ca086aee730a79dddc1d42c28d5bd6136449 c23aabb00636d95c777ddd7eb7518b377c4c9fcf df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce80599711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567a0796db0d139e4d088d3d287722449973bbbe5bf