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   `5\l // HOL-Record_Benchmark:threads=6elapsed=103.964cpu=175.432gc=8.496factor=1.697zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\28ŲW(̧z4,( ͊C g axgYZ7zXZִF! %]ŗXi%Z eќKcG&l*a)%b/Bsjsda[q$#'&)JzYs6|{$ G.ɒp ڷ,ߠ.gѻWǮXY;y:L4 bOM޳u톉h1[k(ǭxd6)t|r8#XTR_ke.~}>Td .ՀmkC)'`[ISq7vj2`l(:.Q썒/{sDqf3lsM ]0S/zA2N(]]s牦g?M>%tHy>uWbpZ äƙR._F* {Im[ EXϧҔٲ>n>gׁq7sYJ -DaPʢ+{D]՗F;ˮ?1~IB8_ DBnhKԑAMvt3T< WP\`}A,-&iYjbH EWo]8f._YDbl>+MBĤ Q*yw.e_(4MN[`vVg-m?+ MUA4E{''~dԨfaFP@9>Ca8L.ErR()RƋX5迍.rCZXRl$u9t=9ELڍI:&=Dshh,ZR AԼ%8RGuʄjpWkUY< xοNDչ۽*QSղAx1%,,'fʥ A/H zl*kztCr]j~- ɕp}j~#.%BUQRN4El\']^%:2Ģ1`,XF@J sm qwb设avX-!1XahIż=֎N;>/n-ZLn%vMt=}n|WHʏƘ l JEӱ54Jփ6j,O OKIH/`ȘәJh?>;<^}UhEB3gtfx;dOQ3{+4~ c@;;W+ ˸6eȍ;{/w`E~\y~7cj"f';Kw4|-S7P s;,xkK3*Ze*Yp~yܸvQںOΞ`1P*R7Vq#v(.'/hZqiJL23,6ǺwH"41dQr~X[ϑ&Ch:q"`3#uުWY}DLC+ A[%ڛIJi:1FuuO;[ΰh0'jP 976ܮ.vral8A֍` #Ꙁ\==J,6{Z;+w%;MζM=H 4f!c9Tt͔,I`q;O6*A$eRlu/vH$?3D(Ks)1 IR:8=5y ::~f5H2?b1Ԓpe  ƼYY,(o"IܗP }MC=F !4P?7n\p{}MǪуn4YGDߋà aWeFkvM MY!#2߹wUbd[x[')iKm#la#XU0Z&jw=l5Yv8:ۋ_* M[o+b0!tm]!象\lIa#z'0}j{ ] z 뮕RGkS87~͜fep@4b6gybnN:'8?6J h$kM> \h.^391CYF mKUɉhی6F D^#ުo1'.(qo;?q珪na7̩ 6 f" E