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 11</|l 1w]Deep_Learning_Lib:threads=2elapsed=158.719cpu=278.464gc=12.012factor=1.757zXZִF! ົ7]ŗXf1-/6vR[2ө=%C0A9RJ34zOhάadV3 ͸K8wEYXׇoR]\Xhg_Ƀnu8I^6}ԜSG@ }m3uWn~QuW!8,KpFq<;#o $iWR-WU\fkVѬ;[F9I'/ko8R d>1F)ۆ'Hp9hA4:G:D J gX51%"-&WOCa.wV`맲6Ej?LაtR^p*!uZnuq{N*AǏg: lb ;-'&8?'ޯs omT$5淰^oӓFlx!5<~{A=6f65B/Xx=y@1^ݸ8iOZ : {YT z{0Qul@UL-uC»9&|4cjQS;.BZڿx7p3ؘw1khH]y}K|yfئje倇~[Wӛ GO I ʲ` |72ٖy~&(D|D6/܏ ׳S NH8*G3H9zhv/jā+ 5P g՗뤾Aeu*\[2^?~qÞ{2LP>CX?w>̮H>i:+[tehYt1*E\ CrU7]6U,_p Qb!jZDS9Zw*CȽʨ5:HGmp~S種5+עF۶豷z>K* Wt =giI\?D0]eʔ$ ٷ,M^m0EgqYu=ܩ2[9p%s?)cw-eW7lr=ugIS<T{Wc4٢NveCvϜ%A`,(FL=r!W|R[rlgƣ6#i~ O{Lԓnk CڽW~!+V~KmDB qǝPuliU55̉H@8 z pB;xIE5=Sԍm>N:vH܈QX!:t-Gw%' lyb֠{WXz6ּc7y74Vfp?B"ɖf G >&d7Sd\MT Z / Deep_Learning_Lib.H.1(^Tب/ }^I{1B`=7C ΗĨM{OKS]Q }b{~`%Z\_gVYo^; &o$;WxK >7_Z.w'WM]q"&:e1QRsSܤOc{XBc҃N{yg9̧cNl #e0vmFfsw,8c>}sXߍ]6oi6GI [@3Br( B߫j,`ӡ>ɄγTR;S1.8Yj8'5]73V-#mhzGf;*k& fO lB?}ґ <ZRA5aE_[%{aNFW`!8v{oH$8º:?y6Goi߇Q~%f>LɵNJB";d qۖF,GZJL0.@dTPR!{WefX <)n"o_陝_t?#ͻ`b?ɫ"[Q'C:7LhW#[ 0ɗ |òI&SS,(0ɫnQ`Ca<*t_F m !A F躥埰4RZYƂYNy5v~GJ4|6Vb675 D\mEA2Se 3yYzp/0,xg &rȴዐ]>$EzKNyzo~=2^=H7WH e29'EvAyмKar(. f_ŅS $,Xg˃5OcNEYXnX!^}{LmBk5#e]%>[ܑL9[y/jX;4X,~8铝 \ n}@>'zrϤlqw}3aB0=yF,G Q4 Le/{)bnoS$̿ .*&9(,2@%`>(phGE`MdLkye+X:T)6Zqē}j[IUd Au{8W9pU#Z|zl3NfR;'kdbfP]`G TCd7>2Ҡkq6wu)چqDc js|\CYYQ6LPfJ}h[%{f`%y([ 0Lbgs).̹$8 J*Æx}.U%gAyb' T-  6G7Gy2ױCv|5A#-'fcDžzksS;Dɶ5?כf.s,$X$WW~[BݿW0MSPR |rKU$نV1誹U'c6LYnG^DBA}8dǜ&{E+^skm`銸|jIKִk%Lx,8+yS#Pa0+:[F\&yVB_<$l(GOONŭ`Ϲ4|}RB_e50ZޗBՖXs$iϤ|0q&ZU6MV'p9?dQLc I94o^A-7~So^t0)[<lo4Ptco oNAL_ȌbA2Zi%*Nht) _$?3v<@a&Uvء 1:]Ʒw4V.wFDܲI'M!\_l< f@uQa"̃' R|Ƕn 6߀uR~';~>.Nhfx#@7;V7~lL>}ӌSZ_!jKK8) -Q&\,}I~0{gƐQ(nt&-e1QD(A}9:o>,z8,,&gi7o[][e J)ϸ$ﺳ(8<kĴ7'fP,d9, 2KD7+鞊+<bj ÷@gYZ7zXZִF! ԭ!-]ŗXi%6SN!czIU͞_ͣ7+f"bRatwh e*WQ)XT\65_sQcS+n3KT>}-?/-Q;8\Le7ي {^U8bGtM=\vT8wo b9:42d ;\1d ExU; Q@.ʱCPaȩVdrI(q+X0[Q ft 'hK9AwSyJ2MTH?lQu91|s}?c^< ew͠I賱6r{t k͈ `av_[sJWԄnZDǼJoF6*@Dq @f^ʗxѵ)<8JDz eŲªJ^m)qbpEp˩Z` "f 1:ʏ-^oMK̛;fnXߤ s 4ftSI.07E"I*kZ"//ڸtm R"Xpxc]#6T~7A!+כnq(M[wr:y1kCKĹlPVwu"^-,h%7JETBBrn 53h7B$^mg^ 7OAsV/n{KE/Z#jRK\ Y,iM.X")arAq3K䂀x^MJ|Jb+A~Ԃב i/ۅ{G JS§uIuӓ4"%b~41Bo37xOVgNѠDG~H&jTJB`jwZگJ/fuNbϩZAAvz,lA[wfph#qE NT5AO+_oeǢ7)DV:V^ÿ_6 ^ JyrH\gk(v%=5k_ =Y=WRe8]wMyЀ(9CZhIv_8[O9 aFQ&9P} XSzG`=΂oވɆ(jǪⲓ[rC`w5h'B /y5&AKEjs#w4Ic)(cɝJjA:囁׷JEx$#J`rWoFݸޞQڳY+Ͼ\$y4ɷL%ҖKswjꬾuD4R; -ǹvEdi492KpjXJZ䖈!9=P /n@ - y(~ܟ߈иGHnq1Xh4 ꋰkJiҚL#FmMB7(Ċ F@@8̢]#L K SocpnHU QQ@4g,A nғ'b&8 q0I?Oo!f.M]힬ٚ1OaxA鶨}oA=Qk!X.,^~u|]憂ELӃwk~Z:ܿhOo` J᫾۝bN++q?gz@PԦEnO{$=k!/5 Ft" S"KRO'p@s m\Lxxj =S2fY33ȶC$ҠI[Y!]G]]RyBUCS-oչ]ڔibF'vG q#gBZchHX" CzJhM{:[ 3 1Դ&e PKB;c O(&80h>μQ#8}?܉ՉɋWA BAފ%'gɥdmj\*€^u`3s m| .u/ /RDD7U֊@=k Ȱږ7k%q>)?{A/;F(oB94zMpFu9x(J7hfMixr8B|u|f%BD<Ϸ, }Ԓ60P n\02ORޠ\!ѭy冋tAey`ZVIu1892a?]GƹW iXڀ|_@v# ѷ3㞧a3TaЭaVne;9" ?Q/UK֞3W!kɄgvٜd<|9t$Hƴ 7  N544Sw@24rm nLZ3hd6Ǜ }2doĨRw )>ﴮI"" 'KHq ]!f_^E6:3ÙXVxGhʡO]I5vChCkŵ B@D*b J/Ğ!^w'eaO(Q>y>8S|J0#[&%aO{%(qIky}HbcedILR f+ m!G CVjPNf~1u|5`O/}?3At^'L$wp*%uڊA6.I[L`:%JV ?4D~]?b,njd8dQ%kƜ=(RJ3:68lh@+^ +;㚆yK3>fo`ց5sMV(#9V<3:΅N=X;5 e/Ś3WM-7Ҏ)N?RH8-xXp_.Z!!ze4/s;0 Q%TUԀJhK eڼJVy6)f~S,Phjݟ^Jz*uݼqpK &~Zp"55Sg,O͎Y1võ@*f{BJwP7g,H@ߧ7yw;;ʞjʳP"ѬGXrĜ79\WsWB$8T-"ȲSf"5\sLC<6O#31LJFqruxGͣ\q[Dxn B^ ;_K&FN>kTerXT'fS9%A:-2Cr4dϑ~>kr,&0R7A?jDČHZ,g__ 3e$(J2t")P`7;w¯zvopٕ hZ7$0;y"-U/0QwɴT˕A6n+e{S&O[~nx"Q⯛<2aLJ#v29,јQ2ܞK儇-#U3S._^e?!>&q}K k :+vuMÄx&؊fYhFMLbRJ,ɖSy;4S@?y!7+X>̿}>Z!VBTx#_`iSٸ/$+{s zwNsp2fm02k~v Lm)_DF . NR"@`je&ul]#2I.>,Ht`02d4_t`0`$y%uat'iF؎q+u]/TCIۗNQDiɌ#ˍ17*zW?*  ni3hϩHn0X5wTAlCSYa|qCx@NLێ7`ʖJh[2dCDI5'YƷ.m\şM3BуSU,ޣfL*r] c(Us-he$={[?SqLT?^W؅'=#mԯƋe~&bd4uyQz65$EE]6hWVG[BiHx萱 'fnH`lEDA {:u$&?;CDA.|%vmэEƸ h%vU"zas)/RP/7&N<R!D#yzm(~$atUXZ5%=-#x~p08+Uߡ5;atBOe?'w wQz:]\pIcG2@Vr,;dg1k9/hЬXHVK"^D_-8RHq$$k_];W > *_¦$꽽R( n4A/E1W~Y]~aچ1x3t`3Tqk.m p1:hi=:PY Uz [x}kbwU;.F-_t. Lb*kݢaS8XoWlGSbjN6n'c2B^5 7#tc`hez7(q|0&6W( ډbI#CIǰi5Q{>%$x봧Y^RN˙URbg@H GLHGcb˳&*ab@9 "ضtE"|Ιz}rPwݲ8(w@N># {3:Sn-  B O+U@.9{\7vH]]m#`L&B+OZ.3#b9iP(,y V8df|mžf!DԨG1; ]g`>ӤǮﻇMQmz?(nXC0ZˍOo Uv<#*Op\uPMª?j2C fRr宅_Z}`WMkg[x6ǰA0cD~!=o'N0n/'}!u /_|DTNJ7ɓHaSQnƗڮ[̭Kb|n#;Mv^EwO4Mv>PVJbtN5-梅[Z1QL-ص˝ٗIo7n3626P yzQ ?=Iv45E]7$GI23AuId+ M МlI8BAsy19X::#6nzS@VTYS2Zs虯1(둣j{t.oP) Әbȏ! -/[Tˌ|feu(,?A+ZR9`ٗ:O!:W:]趍vhޤ,2h"I/Tnó2$ZPQPѴ+08N$MЊ/)Td+ (xDyݻI#]qlU*20%XYV638bX83,w&4$֚rKVZ`6!IJ_ތ5EB Ub.ihQ_L҄ijx/ZE_̬LaSo|1sr3QIXp"CMh3RTQgTW,*OI̜4 >6$ <8jrXa%9r Do@kg xaj;ps$ !ĉHuo2b1e<vF9/QAqO72rs^vo),ow.iاmfAGP;פ ](˧YcgKX%FKD6n i@RVΒcƒr!TB{EcLemoeLIv6hi.[d?@i4 ) ƨJU]Q>l*Ed4#ȻʠP~bu9O)Tw="GtvބUmjl *~mKK)1fRiBF4!DqdTŐsT<)dD \k`Ӧ3`Dl'~5gu'FlSF=G ķ dU ]HGG@jyK3,": P]s{*y􄰿B AhOgYZ00ad3f9828b900fdef43f8b92ab95f7cf36820a1 060a24ba4c2b22fab36d96c2aebaf9a759e545fa 0904df2840e733d0d1bc0be759387c2e3f36904c 0b25738d6a040c6128930dee1ef97d85b229ef80 3245cfeac2613b419ff643cf72db5edf625cf117 35397e6e83b19502a45c482c33d1e9040b3244cd 417c4244ed5cf06034efcf574ac73c56bfd4e57e 44586087ef29fdd1e11d235ce2766622867e1e89 4d8b51e86fff933c2b5b4e4d1aaa229ee1580408 55ab5893af80f1140cfc403e6c6e254e850f0e71 5a0bf25b63719d0a9cdd38453f1ff5b2a0c5e1ba 5a35b3840bc2017b03da7dbf185c1abe923706e0 5a83e2526c04c3d1c976574dbc7bbecdc7d9ad7c 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 634f0154f3ab206e8bc316842e9e684438be1c48 6384c115b1a792101495f2ce540ff66a40255f01 6d815ae860f7b4aaefc07a6f5f03e85e42474556 70c83bb18fd7359214bee0b2a3c3c4f113e88ef7 7b3b56d9d92a5c522445ceb09baa85b5e653762d 99733bb1f3c9cdcd00bd02fa80f7c7bf6b8a6209 a5b0ef7b92a846c9369821e27650635a905fc6d6 a8dac84bd2ca38fa3b576075cc8e9ac45c5e5f8d b0da3fd976746cc8893e6e7ee4d8216169b641c6 c84783fb29526ce883108f7d0451c93533bbfc84 d24042c72c86184e62b759731a5f80ae517a1700 e6341eb28e17618f006dcfc40ff961eaea12809a ffa1199ae2dbc2fc708a2721512374ddf2a118fcf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 56381e65d929be2b28a6c2758bba2a0736db6379 36f7c5680915ff060da0f94cdb8d06f1e755bdc2b2da1574d5475fcb041456ceada15ffe16673652