SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  8#4 ]/ Free-Groups:threads=2elapsed=100.213cpu=181.376gc=11.140factor=1.817zXZִF! ^ ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkt8GY?oٲ<gAI 7qȲkKL ]{:^~ N-eFoJ$UE #JF綝Ȇb.DY4A+T~]C S܊^.AA:D!̑apl ZkP.I}dwGvJxDS5ء}(\1VT,pTj7]6l`q, A -Ɨ͒7| K5GiwSԳc?c `zHi1Ke!ET:@`.!:PVs>wNX!6է#!f?b̽/׳m+'gS2~Hڇku$R 赃CǷ2 suLti͹c܎|ZVSKJN`IÛ[<նyc /@3ܫ),t| 'ư!CiybvmaE=L!D|)Ak0q p!evP&a1w~q|;6d0<ç.hu!9w=u-.E3j/8oSOYe+ ".9?i@rc%&HN*1$\l4'OvNPƔy/4=n[@$Lxϼ+7 3bUSCFkz'I5b)IScF<E7-,2AZ>AuH~2`iن '}ݶ0Z+Pp%O<2]A+Fu7CS UW%C#|=i7玲"bX # Free-GroupsN<>3`Ǘq OIXIu=k%0[`K㒇H-ZtVƁ iegt1 У r R|=Qt=D)+`y>\)ynGVBBֵ'Bgݸ>+ @r}%6Y0HƊr K<(q:xūDjo\Y뮭@qgq),ؒ.7م4HPxb tN~bRf.|\ >~s%dOd)R"%ϫ˘KX #wf!y,sQ[z]1Xpq:yVr4r0ծ9(~W%>](O~rXK^0p`OլI5xZ yG BMZHU{9J;xD.:) "UrV)63@bjO%[Д&o3.w_2{ MBVNT}>?{CTUj+`$D:Di{*Unڹ&tC@Wȑl?I>ehGTn]utZ;V]>kܥ(_? 1D~(F1cAY^DUq"s,M@X!sk_C+ޢ@^s-mN(Pw/S7գ1Dzx "|/+-0zڝIbz̓뷎s^a}wv@o3u kItZImPqVted>w/>mE $tF\*.l|u#YhԔ&ɾN,†bLƍӐgDdξ/oϷw0XtSHD?!.qtf7J=W+Bx埀6̄^S>Btf~M$Mt?,55qMBX%lUQwb3hԅvto7I d*ћ%aDQY0_->.2kzGՍ ny71&<i#$*CaU~[_rZ2mnK/Dy7o`)Y[b-̳l in4A.4V8#i-uN!xu˙SO#]=+.RrEO2D99ir2,x`՝Q?$X,"KA3‰ãH̛/8V^fvZt v~sO)gu|t_sj6H+q="k+1P#g[ȱmoND 9L98)s[ۑϵIPR5Zn4~N[t%lHd3r7gYZ7zXZִF! >]ŗXiɟ1?ߟt;9BP2CZz眭5 z iZgۿS1:uo ZSx v4z_725I=vx[bA۲dAv~Atu>:,1zxL}AzW@n0KP:[pj^T`.}ĸIM?v&N@{^SA+I~y1ԤBt`/u61m4.r;<7TeC8bb*=\6U'I&pɅ BZ4jrR'rTc]k0>7@L'%엂XPW8dp} "؃-@:5٠xo#@ r_BEk;6Y! Q]G+PHk/d'uRGEFM rb >D/VD;t=\0ޏk3t9n)hn .aHpY»[~۷fcA4H6gpU6;q`iG T3}/UłxA0o"3s+A5 $p\ !- NXN :š@O'Yß=ӊoyr$"gE?9`o`DX\# =˄k/#;\?UmzO+}3PrƼgVM^, OV QB^DLeI O$.=Lhk/$ƍSE뀽 ;,2}^CK%kN:&w]f~@ X.aAdLjDCT$5Ky<0>PT*@]aKlJZ-]^*.2\ȸEݜcMKa'H F{!9S;uT3ۊE[nWU'2& / l/G};%:3Y1ZGg _ o9+'hnY`2|+ǯ[HO鉺Pu\f  +&H_7A9VGsN)G_~ʸe;WVpgj{+sZ϶G}R&䮁x cZ|4ܨ(- `sa[Y/(9"hP~RQR`J#hյܷ?i!&F7P 4sO͜ʠmAγVT(Qyp޻ [:>Z+HU%V@WW$l9dV$`O=JeSI*(SRA7b u;G'HKF:VF?ԉP#C_~'-e/epۍH2i? x%^ [ >J~IJJ@THn sT1t*FnXn`(bX®sbJ褭Ʋ½{<9[e)СyB^~mÂ1GJ19\YaoW8he;= uSkˉDn(X z7뒔D1>`s:h,tR>S1k6o-]*R"oKn׬;/"e{FKkdK5i&]w@~H%g֤44Ϙ=+xZ}L.Gy/ ,*PD/0?qA!-,L&2G2=FDzW6ܤ+%ss)nuWz>wsozHy{Nّs+|,&"ߡaR"zF|V.˃G.1(IP-}" \ 8S;-Fvf[_!IB<25hEal>Y:v'u^*^I=mP̛HRfHVB] $2p4HLkUTwn7i;*hy5re[ʤK@B." A,tW 8UɐnLB##96}0 #ѝ \ݐH f ǁzeƤᮠO_.+\U,^-IȈ'2u=R( oˀԖ%HʿYw|,ubN,Μܝ4 el&_8rñt\PW.̏.60! 0ĵ9u[$L 1zkׅBF.5(tn%C0>q| wj}ts=m=O|A{%Rsm.:>t{`L@AUwuV6}y|,Nh1:|)S`ܫCeQsCUѥ?Oخ;CD%g$sxj(EHURrGDf RL}SEnZM<pwWİ M!4I.aWQ6U\ș 2 u\vaKLh1ᘎbYnr\zBE^^̳uﻧWOlJÈuHs˞ p8p a M{|/1)yOrVn\RUm4+& p-}<9XP2l>Fپkn{lco,Da^/ m;A(ECCa>㖮EZN7@wgދG5YN1y#D萆,}&V8["!qϛae:>bHj3^S!|+XѬ8}?.Jd|O_>{ ^z˿3q%Nc46QyJDZ{LF%:WOmE˱J(ww}K_bXX ?K֋4f. yr -%EUr/AN4(Wab/P% c D|G6Ab"Z {|NDd %kT`f%dٍ:Q+Z(TZ./'k+.9qQrKcfX$8lkBjrQeYo,FEB5_VͽR!InanOM?D٣\Ô#lpXW gXb4mm2ߍǂCh#lPg@*+3Z @rbr<|Kda?}x2 BC_IlTK&1zy 82+=m }G@ۦяvJڰo8.ˠ=uҨ^Kr혷֓%s,.pU!n:m>͉H[4\c:1_VYVjXY_:1!'hlrkqbeЍ֝~csUuG9iMB+R8uTŽ$.+>Os_4Y6ެtҀ"uR:s5~LCsytG!F1m4x=lY¦AS/p&_{!^<KJ嶔X1F6r6Qa:'u2=t^Xƥh %ʈHY|?RcK X DE[DdzP{ QLJi~Jf[|tovGf0FKF] [2:e0-?OI\4p}B" :qM!y*ѳ&M=d!1\7'bWSMr}0vgtdיthׁ7"|!mgN;3$$'51:л|pc03E cr[]n|QgW]y^THfٓRZ"Rm1+"+5 cb6j6ᔽ/nJ Ԇ"dmѓ4MIA!)4Gx#R sP5Z +ͱԱgYZbef3776679e96ebb836c552111654b3d7d8a4c97d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e