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  h h\L ]/ GoedelGod:threads=2elapsed=8.907cpu=8.644gc=0.180factor=0.977zXZִF! e]ŗXf1-/6vRZȔd} bMJ3>~T P8lZ 2= ˎ_HRAqZ;IhC\ډ8Á&gYZ7zXZִF! G=]ŗXiɟj bk4ĻMGC~BOWQPh \`p3YH3}YZ7zXZִF! 9^]ŗXi%; sKX8 aHWޕ@([-FA§Ck {. HLd WVwlH1"5d\Cz|j$T>KFWe_L8җ h h Y1w:D5>T(p^{F/3%ćɉ]W&r!"Z욎oTJ0\fP@OgPAE [ _֨,-ⶉnazyJ>s"OʳIL^'VT<%0`5ـ,-IO{\äU1rQJT9~?LN͜}E_{uʩxK7\[u+Q!Ob6yh)2Ě1bV׼m_=irpA} @1-57oD8,&fM}l^}=&HPi.ɽN$@&[Q'ЖUH>[FWtɜ1ˏ>4ꇢ.LnRhH>H蹢a6'0uky d R낙Zh+c?{~J ш8PϝP]B2O]vbXIfX1D!ǟII x!+rV /i|Cpu?Y:MF_IsGQgYZ83e7b33b86df4b613ef1203f73c2b0804446a1bc4adc5a97dc9dd2ec807ce476868ed35b984f32fa a910a225eb72423ba846a1a2a2015494a7f8dff4   GoedelGod  s3% GoedelGodGoedelGod.GoedelGoddocument.tex7zXZִF! v ]A-MՋhvG"uIBm57!XHLam10apHj:.Uؗyŗ*5C+QtH[ʽ)Q>f)_ GT%-P5 `xtJ)θvSOiv)8VkV6ZFr ,FX&#Fq֟?BZpg1l+ۅaWkz>9)|F"nOHq]X`u~JCC&Sn&i$oօiRV,Ɓ~*֦zOq >v=#oIC9ⓊQUi}o[oHܓ:f2w)U|`4wDfq H!#FfJaZ)CUq)xV&:n.x;A&܆uZ<5ʵ2֓p\Ǿ{tU^vJxU*^κp>`f>SX[=ր;Cit+ 5Z?40/ԤUaKwͦD:|~f 6'Sw-EQ5Nj$h>`y9E1c@9IysS>U~.AȈe>wmC#l 6OK*ՃES,+U xmhSvAR״$,jXoa˔89opK[ud.ث-` 51cDe -3% GoedelGodGoedelGod.GoedelGoddocument.texd SUB㬻 W@$19V]ܽPkjB)KTFObBku RGdx?PT!%B}uЋ2J*oK5Ȕľ wOzϩ},="/5_,s8xmtgbS7"Ђ3'Ev4-@JDⵔ<,B;BkP #2':$YS߭b>W46t9@*DUcNpJGUHTmmvh NXߨ}iVrYuP `tyNcFծB\Cݢ|E{9 ˳Wp3HH: [l,&nF[ %Tjw*KNߪg}I5)=.="4nVéw Y}3naLs֠Gck"=xGK @1K;4f)dB_4^%t`A/f je+/59zxtn]cj_E\~`­LV^M; wKɜ}2X.* ACa(2ZӵF &6/Hvc]a*@`Ag8,Q;JPHAj" o^YGZQE봮˴x&Hb|)V@ )˓InzCmߧ shĂ2ݰ7$t;h}X4F)h/Ӥtl젒WO:,S?šʼn>9dۃ,/Q1 4G|JUO)ΦU^?,w(5/ $7ȻX%Hk.散 bT3y|N~l|ُD`BKޗj|XFPUl3YKUV9g[D Fϐ:^mK!"a K,x)Ǖ?] G 3wfFdqT) DGj8i|5 f(tzԻӯױ^5W9rn[km3wZ4{QOAGf: r}ԟd6 {/*%FהT&OJq2GE6 -v0d9H,$G#cKjS;>%fu@5~fֆԛgD$KC,%cRD#TT_oVёϦ[ΰLCgP;kZvFademTbq!kXPh(oGW(>p"-@{[FSS-#yf2իi98# NNc z nwsfOxK6;eq?ON1V(evj;_`^dgV 9![uqg}^ [-@KhSDlnB%) ]Ur HаTV{t-%oc % W2@_,5$+>Jk [_W4QE) 6ԝClaΪJxTTV`_@8O8^EMћBЩ$! sg]wov!c kJ;7q).>46UʡAZ@d\ן]%ՒgP=/rK]YV%xElWC()C#YCܧVGX'>,^m :Z.tڏ&3nqGGďC@bA UFaA)IoQIs47Qs&0 SkX:xxd'][c 51%/ZqwBiW[neer!ek0=mTr27~'Vt:C8k|/Df/ݬ!UC‡/}?%ϋ@xn" clq((PlYmcԄqT/nLzd /uV\$~5I}KqѬC(.Q!1 "TUe`4 9 c3呃D ~@[ɬklCZךdk=. 0#O?V`ع6T'K%H?񶃁hClWD68b+L5<.W-Pla Na -FpwroRV)h6o2S"<,&uvu&b(7\VHba)ua34*O*5.g٬wR4XbOS|{ɞBEG~M#z3|=q?p;Ӧ7hQ{̌U*qh{o#) q86$@eV &ho!Zg_^wfD^Cꃙc 0%??lAdp>hõsGD`z^lgn19sT+6iŎHCgէs轣cQ߅e-@߉fÕhm$ID]ަ߷2J;3m᫒7h{g'5zKB6hlrJgXΐ`.:l[4J$LȐ̫ᑔLN*eLIa-j873jYD3R7r@1wD=\8a[ r0A"( g5Y4[ܽypJ|ʈ,Gmq6b\=?ǁܨ'W;WldtVI]^5_ bKgFHm;9B9\vm951{UjmhIZ5YΗTk*BrO`ӌF֍Q se^HzLNl, ܸ@*=*,wZU= Ym*; 4MeD}vX!I넗3;XB`H9TÏ(`'` ԋ" T61U R%2d¸+Dxm jFt||DVv~L[4@#>T&$XXqă3H HKWX\U!@!Azk8M^r^񫿦ukl 7]1j@2&gw^% Q\A#E+RC|epbX(-SƑ;~I5͑F}&Ag|bw H bG Vu7iyyCKFh3|  >D.E_a k06P`"|p]Q2P';4uJ%O Y. O[ZAYF.f,fqشFD=.(HpÙY,+n'ltms$VpWw