SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 $#4l ]/ Free-Groups:threads=2elapsed=116.792cpu=189.824gc=12.956factor=1.637zXZִF! Q ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkw`~%.J#6GF+KuZNY )O:($Bw$p0(79NJ r-= -!?VH08VJőmjZEġ(tZq$EQJ]$ Ў|Usvr? @:z6GiJ(fiX9{66"\%K4צa uh6*0y.ú^>TM7z` a W|dZv{{[V$J\`ߵsNؤ6&D :/pN67VX1JuqZ\ppZ}mӌ}2/0??5T@'n JB5)JVRnPα =N<.zmBoM3c"so"G2J=m^SaY[0= ן7&W:J"tIM}8mj,it5ewg՝)/b!avGzahS SśBvHL$thWSۅp0K-vo+)5KK^Z\o SJ ?}gvjTuZHa4=6CO:LûJ;CGg|ԗtPOM3~?A|Q[HLQ+Ek@2FRsgO@4)s ߻"hKHVߺ%UIK "IԎf,>7`J.w(tO툟_x_zWD~$AzƷw͕zV'u~GY;R{4'B5F4I,7@sM]eMu X1cNy0t`3'XэzG<~ # Free-Groups  1pc5{0 !PBBX$@EY1Q^g a ,jeMB\q zޟK_fNsѨ ;]-9&}I$xާdB9_d6#uP? W9ocy3{|Txܢj a%EQTeVH{wr/S%̜'^º6l[I`G5źw r|ij nIC t:SVu07)VIY2̅|^75p*%ߝ߼=+_sbpBLl@%l{o>@ߣ֝&+3aa{GrD=U4jrJlT0LP;%UUҦ7痠-4 0zL&]Ԑ rݑ%'ƋFia18ڝ:cSvߩ;Z^s*۟o1zhZBY'D#^M@ gYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 zz+I~On]wԉ|V~5z7tK!9ݪ\SȢ)=;dA_mptV''c|Χ(ڏ""xWeZs&ğstK3aLBhWX?sg}#2>@} :@ .Ϥ59thãKjH7[m"jG$P:āljJ6kHv߇<\2Q<@[EW3z $\+Dd″ ,,;HM \T[h=L"s }\Qw't60|Җ"jQ.c%i~(M.}AFSt(\6C`yɯP4Km _w\gTX.0)4Z5fv/_ 8FLE)0:F_^Yjs#Df(0=~) 3 䣣v}t'V"52|1lj.[oj_ :۩vDss{_ٖ&ajԱgYZ7zXZִF! 2k]ŗXi%>g}&y=Vd`*ނ&.D_Y\v\z?)̝*0&cR,82n"GgIvNx`V kʼnSݸXWbWA Moo5 2V ]:aZB;D9d4׬ VkD/%(P{-y]dCD(fJWaMo"6a/˼PH)B_s=XVGp/LainwڵʹA6XlA׃ F![(>$OZ؈NBivtkB)90KZ F'5=ję_Vm/OW&ޔAαNTee)3R' lZ&߫ptL&/,MZ/bR߂M&oY؉xBz~!G6n]N4īeBؙ3sbW2FU7 -x6҇ qcĤ;%kqs҇Vv _эuNQ]}W)Rpӄ%|8P,-9]چxb79me7d 6573>rY5[]D\d%p ]YxI \U2: -؝">ݳ!:zkJmWՏ@@e ]q7ymYEn#wsP ᷁fAtr!'w蛇J5z RH$L7* %Y󉃑hb/%T#JRY㜾1`(\9q3ӹQK>uJ ƁpR0#g<|`Q)f(t}Nɺ΍bLVr4t7H3BI3R ALSFy,]1蜖$Xzv#} @_l}}N&l9J\V\iQF/dgn"9U"_q@fCꓣ~;>%uıMy Sx8(\}Q'7]qOTy9ؒ"(jq^ ?NA[VUj#fǏU!X[vmZ DRkjPɓeFL&z}(OP<ڀ?v/fI4@,]Kw°I%: E]A6^%Vÿ5Ci~wx<_́s"٩JW<2XEpBq9[\e GLIF0һirt[!Oщ{{$D4M**N&s(v서]/_MV$i#ho3r +!?m|YRfEl5IVXjr b\0y _[JitSa! 7ܗmjz\Q1Xc'T;tυvdjӌƔrs$Θ'Jk4"krMU0|/z#@f(@/QY#o9Y M S!d&v!?Rkؼ1+(Cfkoys>M"H'iONk2dP<,şxTKLSW74O攅ܭCsTŔԙʅsOQ+6IJe-kz/5EKf|:LȱVl8vځU-ij]}%罽9z2ڀ7`OS>_eB;;ܪeoƓQTׁL+_x[iRLp6屭Ôkm lRPw ;x:n LTLզJ,ZD@0)wnmUEf-RmԴr|gtSN~TZn@wԗo8ӓ/n^35[(h$tp'3 Ab-u[b3ʁz+a,4Lrcjd؁G*$^4PE*|S0BE+t^t~i fwzBǡk?+2:Pr5 ȑGLVG6'h׏638HlGQzzq- 侐\f;a_)s Mͣzۛ`\Ul2b#-DSs`xTlp`3Maվ˰OIj2 | 8̷%<^i$GSRJJ'O#"squ|1٧Plp`"DeMNэzV YKfOzoӾ2Q¯UɐΕ!2ZcӫAR/0&>u.m|CvB>oe&XTFW\r$ I1 /]iHu~hp`Jp,c%;`cᔢ[d^ˉT^,-/? EJwtj,D@FT cah)<UI8y!Ikjz)ipkd4J*NO0|);bZIJ>}O)6e5\ !2|i@4h?־/RR]wj[% _JKwW< GYf8XjK+bS/H03gDxi5ިlk^@W*Cz)̶舖rE3ᙯ +g# P=kREį;ZGL4їelB>БϑÀ"xA:t #h7~O}ƿ< <|9m7|1 >y , "i'zs`m9xtSV&=Jʗ³iv,T"8Q[@<]B9zPmx ȴS,1+Mf@ _'|lxG)UO;rP*~chOo v{$s ^("Zvi#aTp^"TΑ -*WTM_6BBQ.k͗UzڭY Ęp UE)~b -;BEe>m?PO>P뿉awfa}iІ 6Uf?<:"3,?PEf}c-itx#KoAa_i+|x\8cVaZ?1J KHZe~AudଲEXPvaBp;u1"0^٫l|5r7i!Q~=`44WPQ%>TahPr6^1&L5ͦ+3<8HsŻ4]ƤHlW6GtPc[b=s U?@[O/;(*-!`6 s(8 ,ZMelC0q*(#5x !H*|Yꋄ⚸$& .$ y8Ne3J`8+/5X^ ~?Zm78 JB(9I#[_c7h&)  4J1Yb :<9[C.:<şXx dwE~x[ASXFrwp@3$ڍ!tıN"1rUl{Lomoa˛:~]>n[^觸8B6(PL~uZZd%Xa{^ o2,U=,~L._dgL~TO;~[@@Rsh)RHsh^2!?w͖قL(F=\7s8!]10l\h9;W/Zܺ%"Aˡ'x\Ri2o/aV⿰";3Kݟ}kQrl9 ;Qo5BVd|UJΏ5V6列f2Nt}'p3Yx*B9dbukLBdz<4;ͻ Wu \k&bƎ, -ԫ%qi#&wmoC,3R^ɵҧc[Bc8YbBFXA=n׬ݳ-BX#HMu&W ͹ubRXQ6|7fVs (Np$H[$ƽxYk*X mHa6(6$ N`DDa8_dt7S. eqݡ+@ڿFB1f7l<'* 1 :t Jq%os ES_[(!hBCVGxAnV+@il.?ldb.g٥#\\q\j ϱF 9I0^ojKo bE2ZKw1S ~%U^}n}~ $| H&m[Pe:RʨB4t-i; cBK>ui; 7jVɣXNp,GtPtJ$@s1_$: W@.,NdwA[n t+ )'1mm=qd }$Du1ڝy IRyx\%_%No7UTֿ -Kic^au^3YXw:+B&'3 'Q8W)vq55 Ж%H%f2.kÃ߰4\kT6t'+q;cFJ ӂAD-T1"'@b?t"ʛZ g$-0V`[ྡ> !^5,Bay﫥KʢhVajMN4 _ott,"UWul^nfw8O5"݃kڄ.Ӿ@*uozf/VqK0B=e\wp[nؘT-٢Iz@wS yN\Pn;&XT#Z| Mc s+CRnQddVo3U}1%QLdYQkfJftەB۠J2pOj# '>,%s1O9[cL^Iq,i*s((sɯ+mC&mZg)GZƴ"ΜSpkL%o=z⮟ȉA/$.McZmb \ 7]wmm{F