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 ~L am]Pre_BZ:threads=2elapsed=130.382cpu=214.548gc=8.444factor=1.657zXZִF! n ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{L=?o G#׽+ wåxtYhe6g7}_N}{CS,#bKLC>* y7بvAq\uҵjWڍ72ՉZq9 7 Fph~O uLq6BU4D FsV  ceS؏b%7 uɞ+kaI?T@qU0 /uDSKe*;]P&G20kB鍐BNb[kdt:89)z%OV~ Vא z>`+SjZYYnjR⪶D`:t@eLbʩclRIG>MyM<~\Drwi7bbV\mӔ~$OLXoKD q؝̓eՔUJ*x+bl7$ M>=g=3sڹb7ښh\'R*k3xWU›.y]GFt}E@vyXDFvY_?TAe;hU6dGMߕVu@3oIp&D+wr8sK};>ukNnj X硴K( ?!ǻ{2$( ԅqak).)‰ `9m6AQC+6x(p:?-)9Efoe裎Lov> WTl DQKu_ohg4xf{FzFI7QWOᄬRRju7դfu]͐ݽ,n|pRbR2?{ڊ6IgM9#{p*6U:BҹV9KI_?sUbb%QʚX3,*)a0n_o=+57E6 ʓl"a\ԳwzkjFUXUR5>iq"RG/qui2"~éql}:ESvPQE뿪vbzFF2'|X'LcJ-`pWOHf ),$/tA.`+QX ) (*hґ1ZoKZR?笻摖ǪK\s-@pUlJ}ED0RDUʱ]-i()Hv[f*;AsrlF0:2uY&)\lknܹ -gpKE4e[Q=8 UO˲a[Q>5}k&_>jRo63-t/m0 bݢ7tj9e?Hz\CؿL)U P0ciG =[ncr4]>@+fhoW5 La!FB9NH懸cj!(L]$D(աe4x0_5vKfBZ Bymo.;-1xSHBW2+Ńsқw?CS {<0N7B#"LZSʵ !N5V֍]*U5+"J]ӽw؁YK<6sgВ9`i0zl'F'"LF ud/+0%Y )4wj/04PŹtt&zq)nk'01] OEKG.A @΅5MFܸO&dB.$dJA)DܳnK\)8 k`]ͿžBA1SdBd}Ҿ 8{,2Ò7dyb0 >%u񷼨%9&p5!MnfSpa9I{ aD4?GbX40$j7^CoMOxޏLSY$1Q0 MHn-)Kf(Hv/A LH#&#cA^6xߟ7TG (.Y νk(6`%Q W?7xϨdgYZ7zXZִF! V`]ŗXi%6{?5KK;͂BEi_ \wo$ݱ_I~ VQ#V:0Tz?gNёæ0%$uOs|L=Z[::,pnjmXZCOt"EO}=s_ LO$i6Я3lAH#CpfChIeiAq^tiؠ>Swvbbx@IY9>mgE_"D:uʥ>Hn#z %t8LLmB3a˙&j牆S!M @J[cRuRoC; {a&~qޚG"aJwߤ+8a'kƒ&<;_F| /ٴ|H2`ed$=W?R] ,XՄ+̢raD qj?QCbܨl ؠ(\\;}&Yr1Ղ\(- V0/(ѮŴ&B|Z 7OBTGlcs }9!(=񭧣/K[MS' \{[CiG xvj 3J0#!1*h6Z8jBQ3|["*^-_Sr9g6|o?ukfJ<#R_Xʕ#CDw<3dSR-rC)nJ}LYwP08x&\a&f6wOw"oPh-5v3*V]v *a42L^>;Zc1Kk!OM&jpѾ4Ɋ$DS i'umkuC5)6QVFa]ܐ#-էSI;UY'{@PX ۞:R }e<~4N9h\!UoLq+&CR,|^ FeZsZ\CSVmPdnF4qbEe>̭=ƟTDEc{ ?PxK㶜PHɑe[ 3Go&&Ԩ?1)779,'IpqȂ>[?3щ닫~ñ:o 6P7\fk N(uFYh"J =uE3""L9MJ{qBb9'Y K?TeԐ@2-Љ/Cg |3@k~Brq۬d7uފ5H8}hg#@vnڍ᷐b_v.]Xo:7IJ Ac%##h꡺ws ]?^Kw8XbL3)קN3X6:5H^' T'Špp`Lu[#vdnN_0 ojH[q\@֥F7 åe;wg@@\n,m6-JD`='s>!|p{ (uߔa,+kH.[%SL(=^tܰ K `1]j71N!6Թ{pb(kel--tM.ʭbVZU(Sw(+ rèꙊ/z@]~]cr}@.eG\+a6Q(boktIN>!Poo Z|1Q-fzw`Q.{yn_]g_XmTfj⑊dʻ{%l|-gȎLpINrʢ`7HQuhjxL$%NQ-+$ʳF{koƟ3Q6q %q ȲCozV=k7sNQ#1I5ӴH |/*68FG_}g `+IJ%M/W 1O}s\RvtKKOCyPFǨÝ(~; Ŧ{Pa{6[CCrP覒07kgekGx[wٔF; J-Nl]$+bE4R-EC=!gԠg}ⰼb`[mŔ #y,hܢˈ\qGƷIySoOkpEZB&bxVT*Z0.?KvZ:+Np? d'ޞ^ExƠ/繣(~TeIf]7ZaݸJܪhYh7I yfՔ| n=?RB) ^S Bj&*^M 2_qVY o|֞2yc>V{̆/q)3)'Ci,doM47wYW.I(HXP)qc?mkHWY}2g˴PתnvAg@5iy4 8ٜl/U RjpcpVB0WI EdLBKN!9YtfPY\ӡ[!.@5QatO}=H+RAzK=} r_LtޮQ8g[Ah*.rSt3G;!t-ֿ,|4' T0|1:DŽ' }to>Ѳ҂ CҳiSDOGM(:k D v0/M3h%%,U+f=wT;u5޹7AL5jKT]G llOXZ& h9) k>}SE]*rOk2võ͟")նPmr%C^~h{P7J>DOS5* 2\\Bc @4ajT.rc:LqbښULg5ֶUJ6ΠUd!zOOB%HhfEL\U8dqpс\)U,4+rgnN#ck9$3h,~t=͖2ah2"P!P0\BP*dv{2[/Y= :p+xΡ?;/zؚTD<^s fPWc^;ܖѓ߶}>sY9.U.*f9XiAS(OH(/e3s|ULdf ې5~K`0\ ;蘌c6jMG =A`ɩꮟ17P#mx$9rÀ=Crrm3\qxoM/49n7cC9 eûr`M2eĨ- MyU-2lgyʇJ=pEzWe TԫShX/քkS656uE|cɟKcY KXǍ /^H_xjL}H걶l|0 ʌ4]t@Pji9E N樭Bp$rx 03 S7-P.y!Փ@N)x3}P~o0 9 rlZg;7aM+wscGՇhI({XYr`匊vV٬LbDdy_:EOkl;>`Luc qlwfkR'Kvr d,wًv3CÌ7g}fykD`=.cZ({uSw6 ݚvSJ)Z&I`K9*oiR<8 PXZw8^;ƶT+$rX<E&cN֓zg&gWcPwxR*-J6 )蛼jTNJ ߼-)d%v%^O0YU}W V6@nBg|][b5DM櫓G 2X _,m1H_:j[,