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  M M /$ 1w]Deep_Learning_Lib:threads=2elapsed=150.028cpu=262.328gc=11.228factor=1.757zXZִF! ]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T؏^~g6YggV&e7CZt¨ruv8;2xbO)'{wD>N+C3kxf-¿S@ĦPޚ. s]O]?Ƽ#HYo5Ϥ\羜(}q Jr۹`C@ ZmaT|~}E#1³n\^$*E _]{74Y32MZo;X~_$-o??dLHeq,fL%#/1 '[qh7B^ڃ3% ̧E?(tÏ Y,6Ƭ7HyFllALx@esH.>%BmNsNc;VL "OF0n*Cmu@ N(G,~:RfW/f:mط['6|9qYoUl^c-v<4g^eq(rLls7lvG!f2DVxlψCUcpuDC<;+p Y(odawka1@ bpA$Ogw*i@j_~~ $ 9C hJ g'ȤRif$+[1mv _Ea<;.q#~ .˓=#%:vxaX̽7/2Uz+ZgjXI?3J\Ba!AǢW_l$CNH#^ E#|342LI0օ/-9)4XTƜ.k ЪS~Ó}r,?J5Ͳ5Og0Ư9 B %8:i3]KA<䠅f$/LM28]0OՑ?\=ZϹݎ :3b,\I嶜Q9k)B5GmBB=;hO[TS~cbMt%cTȵ=: 5P~)Wuyz A趰ZYn?_A[iܚZ,*jFJ76ӈlEk ٻwif Ξ=:3 j!9Tqj.kRk<~蔪 py(G|F/r+kmb̯~f`c&5erwTQ+np|s܉ok=*!3[,yQOV?4hYk2,,8;ބluP6|$UQV4 8dKFrx?Kʰ 6ܸO4%P2c4tޘ^ӽg ^w/D9R*&$.чA[)49+ Ҫ`VC5nvx,>; #e|^<»8tML{>zDдB0PH4$Q,uHkCJ]ܞ2xF>ڳR(`hAt~|93| ,}gDj{nt/D -g Hkc\lsBqpȓ/)`Bv7PM x7d`H?NAg`? j=J'J#,XcٳjA =?;4TAX ӧƉ a1Ѹkiْ(icj `.ňjoG5&KS\ӅcE%OeI,j.!LPn|dQh9T"r6f)bvW`m sH`=ZE%Θ@?ؙl8)h 7H ACT\rOp@~ar& ;ݠU'!#>ĵ,Z҇k_pZ{fhF$ME:H>X(2=qȔǡ2 WRbf(!)Ď_' .pmQ_JRQR}a|Jnx8%~(ޖ& a:pqդ{%,?^#,hMʾGN1zlxZ۩%';¿^/+J fNx:}p \a䴭R̘UínP@ <+>}4>9;Է# Z|Xa+q{18%̙sv"![ƭ*>qW+ =d\vNon M^1!=jezJOjtY@:\o!~zaOmbu+fW3{o^ab0~ɇ=:"A[oxF$#%]U_dª,ZqS~i@nh;wbGM5Oq83AsfM5koA?{ dyf' J?>79De ZqM`Xho GZQ!Eڳq%SgAxPU&n1T7ۄ<׏%v}>bE% b:j^ 2r͢[?_/-$ZO8Z:sQSu=xR;aj4wbOD>ZdaKv٪PːslT&ϛq*f8£foz1~LA3b ĐGQSb@mSltc%lZU*C$:i{*.aHU&gYZ7zXZִF! ⮮]ŗXi%-%+5]֮]d Lx~ØFg:W-nBka5KSB笄{$?,Aa2mhkeGLh׻v\R?N$ia(IOYU_nj,cŁݘE(8^|J(-6ң">[߄y 8p 9Jא)HP" ċçJëWM@ ={]`C,-7v.ʇjzVkg}Kt |-nμݝ5NY[9g/H&pѼvpt@)aU̖=Qbs7'iQCE0v[/r![./K-d2zR`dRiSR,)``a~h\9۩6 G )g :\kqٝc#s8igoyT?Aߴt!샒hITtdS .cz+s#[^F@p眡o.s[<\pHZ*o6ŢI'HyT5B`"Y㈂,CDECeC78 ̿lQ6zxIy%RP0[ſ1 JrmB!40O ( =ڨo[ 0*a_mL{5>2rJ n;lb͖W2Qh/DRcUL ȻCqX{KiW~5%?MH@cV-h Z$/[_0(3Yq ?s<$3E#"iFeN[ˊLޥN@01*SE^dh& W&mC 9=S.Sln ̞En^OՂp]UPC9F Z8ۜCzQ/Vuߤ4^Zaָ>GT6L6f J|e;FcL\L([VuoG0r|^Y^Q3B_0KsWհC>M"`^#g:M^͙ ,Lh__V$f;bQąu'L94]KB|9 Tyk{ hw :'adFp eFRрud,?^uhsm\t7tTw}hQybG^/u~<كGǼFa}+5=2?G 0'A^zĞ97<gybRa$`o,1YcoM_1~;|+qlfˉ ֆk香wI"WVo*&Ξx"H2o;0OSt= $U0γN6˙ |pB.)+y<Pc]]. `r*!-L طmfV #k9ʑ)e@[a_9`JGg =;W>iho!áb;dJ"ʅyܖ)uR2B`=$kzawzi8#Tq8 26|ʩ O27Jj@9b#ͱ#G`i̋CX IѢ"0;=d}6ܹ a#Y2>chĴ,ejEE!Hx@ɝ^t[tjXڲʼ (Gm}i9.2bp(+9$#݇uߺoFQh -䯢&VpӓGqt:/\Y!wgϲ; )[Dd"rh-_glN#Xg-ckn TkbkV53\GIYt9}< zAƟkhH.k(; 0x}d ;Nk UvP/O 6Xl!dnP큶7Q{-4ݞj_;=._`юPPL; R2 <^UCU软xZ=lFK=~.*K"z9^pRUyE,Ӳ?u.I)l!)K.ߺ.rP+b p+[eaf-i0! Ʈa2: b:r@qZO$NԳk"9;8:tK<; E~&ҸIË *3Nʝv2hQ:Yeh݊2ܭΡ[#qϤQN0} 0g(j" av*B\2B(c@(φPkylXGiU9a6Օo1W5-o {xcrr& !aƱ~@螦;a" uZ'mcR?IyQ1kru>I̦Q{D2u%1k]*[M _U2390l.X@'5 Te&끣H"1Ǵ_uDnd]XӅ|nx`!6k$3pNϤn5;ϾTf@VfK}ԺM56e61 ζW#Fg6e F=X 'g81D1ۆl:fj(l Xb4y 5@#qߓDg7(LSu?^f-{":.46A'FO2z& "ěC}Z$mrDl޴Qhd Qe]$7!)j ;sԧUd\PD%FCBn ^Z$]dfe*0 AdwO5h=u'7x{5304&}+-c{XsR_"-'I=hoͰT܎ukIP%5Ev'<s`y dP,ζʧqp^t@f˥2>^d \oߌ|ɻhU[N.)Nn+RwEmB)pvKh*6+a4Gy _ɧ_Hc)Vu|_!0FBTc@boXt& EZU Żͱ|@kg$쒏wQZ+ ՋUM 4KlvGNelOz4Ff$x~xc'`ȅѷ+b#%TDAO-_]bUՎr6 sQTmˑ?lKCB2V%ҁĽ>36'zۈn*fRHw0+y72\IRs R&?+߰poL~u:ʲ_5;E:H2Bo$;h ̒@a gP}my6juFʂ&ޡ fٚѽut`҅[sn. % @Y;#T`,uYe$׷?oQhv|\V|86,"k*<Ɖ|%-̉Nٲ([wD,[u˯d y||',c'אf_섧,9cc}bY`&voT"&M^ ITwqzZmE$3}OiH<]6 MtAZ%T artpG !%<ؕP H2: Gmb"w7G-=A?q{ ːp+C/#9scnf:!|k6Ԫ;^.}6pR}ͱ, `Rļ~ޡDbZ>W]raU9Y&s$5ɬv ƚҫOsI72D$ jGu0o5>$O4P/B Xv4[-2~A7N@wxE#Ly<}hdZ=׍rl yL[Zs|_70eXB%k k8q0gf`qhjս ۦ`dA67Y)=HDž׃9b h+ݮ>o'7vj6'XAB6 fpi~?)CcMa߄2 9h窲JU*KU7 kl5k<ȋol T s. *萹>ŐdHU|$vJxXBx-ALПQPַ{2:|` ӠPNsMW%>Uatb78K堶:+=XVxq鹢Yz 2{ȍЉu-:g{"k#yr1,31hUyGB& 57) 3KtyP-#x`Mn#QĬ8ac(bs Jtir5,ߜèO>ae>zҨAةUƗ;@ mb d$O Rʓ݄Y{أ$򿛢5zB^TlCqW;Jx6C,y\^,-fYˢ4cD$8UXrNIYrY["Ea&&>[|t ~^`> Jf&*GgwEI(x#y^TRKVBs5|mҎ \&ᯌ@<'\Z,51\ҞF% (0E!y?F؇5KC\{̏HZ5r>mP.@PPr\Id%:Y" pc RsB?P;>lsSsXC&έsMo08_:KtقLPLu:y&Gx.ZpB_Pk̰? {9q]/Ē0?,u1?3{3{u~y֖QD=W1#ępH[(cy4L C@C4=fxmTrk2Nd@e_^@`?{MF-pa43>[,VlfRoˏ6&˔RkLh!x屇l8F"5^\%f4\`߾ͨ>T%'zzx[‘CVt^N dhXvCov1!:Mzٵ FDV+(RÕȷW`S!l?r or3b Y/^RӁ" Y@3uBh6i0]gPG@SA>KVA587#O4猒/),YܴBn4i('? E'ATy-؝0+dSCaqsDhpu_? d`ngYZ0c02ceead20f10236d7275425ef59dfbc5021710 285d17beaea4c49771c4594a1209e9fce3c09a9e 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 3245cfeac2613b419ff643cf72db5edf625cf117 367744ce12067ff369d7037132c2295cf2467ca8 4226cc455fa452546f7fd4622b7c865ab8e54250 422c5cb07b88b52f2b335ef98f379f3465f4e2f9 45693b357f26160d4c0b1ef1a0df39678cd98d1d 52edb41329863c9ae149b9f908ee4716838e81bd 5a83e2526c04c3d1c976574dbc7bbecdc7d9ad7c 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 8aefc9b67109956542535e583bb6b75d0af7dac3 8f710aabfbcf62badfb0243b903a5fb3230beab1 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 9423cfbe33c446e9427e1802bee1b228805a86ed 9be135482787781b9b22fbc99fe61b777b1c0add b27225000730ce58c79b3a9ebb8525a6b4955a5a b702f26889736c3bd426c6e9f167fa1972379448 c0a8f4df891951f43e67a343f72afb8642cadb34 c84783fb29526ce883108f7d0451c93533bbfc84 cda169c0d3fef79f8edf2ed170fa39dfcc2f5fa2 d24042c72c86184e62b759731a5f80ae517a1700 e6eaed053698879e00e1e012935a36dfb142a39d ffc84c1be563c401109cd08cba36147d94a4a62c735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f bf6c8eb6904ee70fa70efa8c3b57869887e97ece5cb1fea025abcb9e8a68579e549e0065934fd9ad