SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ~+  I Cayley_Hamilton:threads=2elapsed=15.977cpu=29.952gc=1.544factor=1.877zXZִF! p ]ŗXf1-q恈͐7ӺV )' (jև[gzmk*H)eU;5&03`;8|󠱢5#(V0F-i_ yN:Ulhŏ3pD4}QMnyU ̖ߋX^/`Yr-dhbڙ.3C&RZ[\JlkބF] (tBO?'%T"3'Ɂ#sc~3$1gf 7gOA0O!@͗3EW6eG7cjg9L;֋)mL%Δ0闿E~~N5tTHsH C#*1+]@ #612$[XTɘoiL$SH ^ˠ%&"Y7i5jT_}D&d$!7 _,%dBJKfpg_6t]<2eo̙M֚Q Y ~Y əaԾ|[bl=j@Q)_ꞑe`{}:}1nY + Cayley_Hamiltonw2E;ՒwT:?g\(n|i#^tcnʈ-ir]uR>|e]q64n^= <ڕ["T\L*:`M%7;Ēr0W^A[x3YLbdu[PO;Kߒb͞ 3^t~O9϶;QpVX<r!\|T(zwknNkY`5Ն̄Pf3Z,@\[,1 eʂ_AhNeG\X` w'm.b4Ti8FE憤3_V;@3ۇ"S%?vs.`MY Dӭ]N)D[32>:M4/r%&힮j Wih0 •3#Wi!ȬLTPH1Al8Twy穞f~$rNjT?I? AoM TY wbi88 ~e|170s}t&S^|С Fz>;0/ײ8~~F1Ǫ!(5#`Ea*VC"$C|=5YR\ A1Lԩ0%wm[hu3[ XN`!XQ=_1_|~Gbuaѽ!n`M~> Dw!Y(F.ߧȨH߆-vڽП{c󇰽^cT?N_Es%,/٪a/Gs^7Ǧr((;_'(~ΞbpײNc_*H.MMbiGrh4PTn-8M˙bMTI8e{P͢Y̬n-xSH={9|4q^f3NNR>DU7&p:*}x=6w1 m?ZF*sa4#븳|Ze#}<]NDG"+*g C$75q J [{ۙOD.c3єS2;퍳anjN/DxEś"A+R Yζ^1n>{1sN‰HٖNT=Z8fkٍ]P2]t0DKij `͟! \Q;i\;(n'H+H>ߎ84 |b=!u^e?AMf2_A:ٗDZߩH?EHښ]Zj6ES9HMA]Q4&NM2' !O-YW4ߔn^Z4nyCӢWD${Uړ*)) R-X[ց[v9җ/i$zX9?,Á.<.СW,t~>Y5-lP8i1IL P e@tN[c"iFӃfBf3ƍ!7kDln,e!y~Uˉ Sr5E2yDfk;#"ccKQqnk;3 Eߋ!4x68] /tQBdݳviPRBv]k A_jW=}xq"yۍ~e] Q_d/HlW_I6&A:GF/[Y̺\F?qT 6sU,"Ԝ (H>avڧ=>E0uX}" =R䎉v5'jVՂ5ފZ1|w7tJZ [A_fޙ-vzWy ];lOwvƀ!b$hٕg~,=.#(k2mV1 nɯOx[i3h}!{aD=su-6$OpiJTK=F4Ѳ=`v)N)=b*E. ۣXv$Db%$q3dv3SیfFD1`e"$tPg&jgYZ7zXZִF! R9]ŗXi%=‹WE^y$Y,Kg;0K/rAkؗ_RXj#i6ӏ3i镎4úSq%7 fDGgy*ض0QMx\@HK],݉*#QzjNn0n TnNLZZw-ƌö뭬c-Ck@試tҁ8r)N!sT^%qf( 5Q$Ls5_v*}(QZlxP^\+0@֤v (d،+l8-}=ڨBN݃_LٝܚZ9Mnvk.<4&&,:D.u0Z+kɦkId b1H+9Fh̚ Fƃ-}?V?\D.>>DTkRbf@'PFz)[ִXB;w$`5K-&C;S{Qq.&cF9d%ԗU5@a=ZX|:ڠe h74,=#y`C\Xa)R:J/j>3(媡h-jw[b@&z -Ly ;{q'̽0^(:LJI+-bHv,J^N{SƎؙk#ofYx 1Dr8ĶF^ӾW)yĠ } Y~hхnjS)TDKw ,1xs{̖#J>¥Β4p胹i