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  - -H-t ]% Tarskis_Geometry:threads=2elapsed=63.901cpu=107.616gc=3.676factor=1.687zXZִF! )q]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Zg&X/0+*ā+~z nry nYnCGBTq#t KIݶf"o0 hV8T rP/\!Z&Һ 2ݨ*qr! mM!I%Rc׭pHFHs+J\d\0F%ܫ [+k49=;QO'\J2^U ;4~g7O dF>4e!|H_)6K,%uQJ~&66mRk+P6VA\tg|BhdGB,@&}8T۔4_7{UB'SU,_LwIJOX=Ir}HFsuĐ?9?vt cTZR$.Ԝ"ϬV`0 KgR{Jߺ&svZa)VV BNcD&܅ u۔K S|tmvOfmr1_6X5V( }V?*  8=>(m˿xh *J"45cm۝1xt$w-LR!z]]g)Lͼ^hWUrmV!`+[r.3YԟR_4LQOe\B.dwm|/{Uk 2 Jа7xT2\:hV%L$#@YބP = 4PePU!|J X/\m/ڶ|TI - Tarskis_Geometry\ N̢o`!Dn':ߋBpz Ќ S^"gYZ7zXZִF! @~]ŗXi%6Țʣ<X 14G~wwyI PN$5hc%(+3ȚUƏ{Ycټ vBE{LLߵs8وIӐ8\)ßhKΗJxCGLDKiˤx0OB!7iZ.\dܤaT Vvnj]N¶{^ZV=)k-Z~QЮUr]+jj! kx@AW)m::a, ӿkLls_ntK|:dA4㰱P FyϳctNB~h"yߒ=璔{n`O'ciZ^-G M],=ЫMy d7թӭEzX0RɞO$&w.@R\iTRWq3TXljYg hNrg:v_C4qc%f~7gԀ3%+_/o%X)WcfXS+O{H W_u{ 4I0Ak/{yw؀$dr9p40\<Κ7`Oq^Ft%PLvB [ؗI#ps_6!%9!r):gx@%@ (Fl(vMa(4"cG1~sOũ1I8uL™]tqnO_1(B-@@(#$KTH`Љ"Ȁ'D&okpq3@눖4_Ⱥqkm=!>)vSC?ˮ;pRQHyAwCݤzPbk6gp;Ҩo1ţ3/:բ/t˽!mODW&h S6FD~ eT \$w-Ȼi.5͒lP83K"?SCFQ6o7BJ|z@qV^w,Wc@<.ev;Kֹ1օ뱈žQY~KVV᪗nR?5Z? (U?alZ 7h'QqSrm (elKtDԛCKocY[,UψRv ]za(˕k |Y20A5wvwC]9Ӯv~ 1ҹ~[f굘=Ne%vZ9<%XH!iݥ]~@T|cc:AT2C[E&)xH[2eoQVHhA:^ [r1XLe Fc.](a߰u=)w51#h3nnj$MUlZ_#$ɜ9 Ȯ>h#&"Z)ҸSPw4Oh,;.lB_Hu#`|]])/؃m$ |+=xuk`]̲ò[ς0?TٝK5JLI|:<­!ᔊbiWN> m#FiiX w5g&Iʅm8. HuL8Bm i KSI>] t5-W7 $Qv +'qf'Ĺk 8ZK`bip>gI+iKM a ?p\!&IQ{>vU(y1cv<@^g6Y#xL šV-9>b`C;vGUB//Ew64sLP7m޵H(Bz=蔥]+Nc2%궰Fs,$&a@ɒP_cG)qm_: 8<ه̸g]" IP4v^p&j'8)b1.(H뱗D{]z b#0岄Gdg#PrÉH2zQk8n};^t+m&YAj$pSU쒺d{XToJwjm.\Zem7*+S)z?l#K#'3[i:\kLcD5'åP CQ2r Pr eBѪ`)ꤝLo `29m_.㐧lqoFJ,_N{x`;(yU^-857[sN J#;wA(G]̭Y g'#>]Y7f}ɯ 6ÝP}E+%^XnGuZbu K_򾍓/FES'G,[}AZf]:â4 V 7dJk+SRݘiGw(-C]Vn`$/DSJ=b󨉼Ĥ[#ҼY< wmh/Ly*نc0<-hB-9l"~;/* 6V7w&~Ƙk΋#b|t޴u~v wwr%%hL @Bz̥mVA[A.s_l*,HvyKD \$hWB&A⃉3MtOUf0'A-hY5^ݍ o9je͓w%MpcqQvWk'u}:)xQ+uE+H>A,@èXB쥼rǧG+9V pG٩?}uPۺǛ^k ';4ӕ@PaaabolO8,_uV~~ ЫY) ꋯf#{Pp+mfs߿Uj0vZsmZf`]~k%AmWk˧m{*CS2auxh?X YzJ؎%=dݑ*I,I8e+p+uuVw?Kbՠ:#k HșA5$DP6&2֣釁a;gᮽ;3D~tPHo5F%ڰ˷ѻU/W5^4`iԙ8~diPyMگ45RXEKVOLL{-ҍw1;'UnemJA,*:֍٢<[{4gKzlnBҪ M Rnq+=ЀVp#|!WA˹9~-)o;ˉ۾i-*l]e{,[Ü Pyֈ ʾy3ͤO.:2T M/6y?c !7absf*i]N-ْgYZc3ca14d83a9c4bb69a2802bb75c315531a17ff7ce3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 5e546206093ae54dc23dc992734f62db1f8934a4