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 *! T| S/ NormByEval:threads=2elapsed=29.790cpu=50.412gc=1.460factor=1.697zXZִF! $]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# hV֓él@R'V_&_Qsg`2.d@%K `ZR:o @ 'z'V˜@vKؤ>u(Z`׫ZtR,R=XH߽aeF#"audrN_?a+ -Vw,?{v|Eպ]HǮ!FEH[TvgYciHbƧ\xo&-@@!z1H=QФAA\ޯYxt%m>`UϛɊ .yH.uw`;@S {-kcna1=v;I:|(Dgf"5=j%^T2y'1E?pGض/@*`";0yɉ*qpAW&Si8<^i?y Z8{Ck{Z, ff[f͞(݂0 >i'L0 3Aej57AK`1*xEͯY=rRUp]kEM`}t w';amy=ŠzʥP!V#.OCgXX^TuwM41CԖrӔ48WyQUײA%(0k\h G|d‰ƦfɈAj`Jjz <ֱD7 wrʡmB ݉kƽMk# }y|J:6\n U&d:9JsTXer3|Ud>G38ԑG&gw p/4zsZI0رgYZ7zXZִF! ]ŗXi%6yK/mƯo i T,xdL1TV9ۄ_;B#ӠG4_\sj u,'%Cu20tqc/7 8е+>| '{8 Vi~ht$^̈́MaԿ` L0{z~ce-oH j7;؋z~ #˜:72>'}TLf,$j<<^`%SCS-ƄsB$a?=M}<aGӬ>U^lU8>43`ۢU ,ʼnzכXUGRKrV/GЌaT1V@7{O,ety.Ч\OQ^>IV|eXP'Bߴf|PE;.ۧQJk ]~j&Ѕסte91_7L1fL1`0/ۙ=rsn5Ht9x#ؾlU/!ikQtZykx*ϕTED r5+l~>NA gd6Eps<ےH)(z TK;Ĉd&8_N\'hҗq= NstFB5psR3|xԠ0@ù;Y{,N8m)AlМ ])Yi6XxVwR;P[ 1_9!-B |?*=!?%7`??KȚÁ ZMnkl1)?ƶIB i'ᛇSL3vM߶jfHE* EHmVy :OSnrNxd""bL%ШG<|*DZ>r/7kk#rn;e$:0+_9hfV_x>~3C[еo7k(9Unc_"g`Z8PL3.C Xx?dC#6ޤ:S4I:m): qœC>*pY-c $m7(cВĻ8kdnvv;3F~_R?6>1w@0G,OLW~pIxɍ96 ɌWz߆}0/Tu5qsM5?uˀx3:TGǟVRBT>x #/^Ch;7˧%q(2^{"CoЃ3jt=[Iv`gx"/EܭyAnxǁaNEu ƹG9`k:] ^:/ 6Wlq=ߥKK ]u>(9Bp5FBFf!KdvI /5y=?dW{[ʶ