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  x xu/Ld ]w]Deep_Learning_Lib:threads=2elapsed=163.776cpu=289.472gc=13.152factor=1.777zXZִF! ]]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja ZPWTOI|ºOy̩ȴ=6y5CE(=L>A5yfܱ]]@z.oݢ3 nN!@z-L)g0BXk,a \Ȏf>~o o\ G"o>r fLXo"25}+ȊX,1&Ȣ/"%}lpMew5©A&Z#ǖE퐮j(S*ȥ%>_ 7eIѤK=0[G9 B݃2ϴ\בQH]='І qi6/[~t IaOIyB7ukٷCHmv0x?2z i;e1-l`4L'˥#{=ُh7 >2# +ˌkQ ^gY6 KHʲS byFW ,s?,-?ɕwHhJʒ͉0.0Jgoɯbؔ *;  Ml|+М_^Oczep#_U~r(n@2AWñ5˘-_.ȋJyʺ\ZѨAU I6VzNr޷ZY s8ouK|o`(/Em4>\?Us)7q)KXOy#z^ B`z"ZTM6B9dFɿ kxA{lIq{Oc;BD / Deep_Learning_LibVPI_ S3`TMv,,t!,>"nr{v Sfy*f lq2rE/^D+ui ;M>i9~u-/}"|=~10s^'SkD n[_sc1 ls&j*țX$ @SWAf@i:>RE.я m/b#yw&c(G0z[54:~ehXmUZ\!=gB;T({k޿YA"ðAb ' $óz[qz| %MRO3xM3:k"xYW #Qح'6$XfЀ3ʭ\;f'BV`'@!0Uǂ$g V%4(=B&1{ 3b1ϐ)ϤH2ZK3^O^'!j)K}}'x1GF,MxhqfwHk ͽV%ޟ 7m;TimZ@w*aUSXqWzejY0N~BجIYb=/Ƥ % 134@`*ޖr:mrP_hJDXCZ%gCx+rYgR[M}|||u7}οQhLŁCOtpńiolr6ss&31p%z2-UWިj;wYIȃ2 GBZ5z32=A?_B]RqP5ܴ"H̿\vy<m`KMl'ofvzIsSC=ɳ+̇Kt~Ɏ8TSҦU#~xny?zF-~=+MٔF~Ж@.M$QO#KeBs:*  ާao"Z zAcϬ0 \xp(I<&{@*?Ҕ/% ـnE 3iʽo3>YxOĊ | Щr_=B6*3ZT򥺟ث(r+͇X<MfS \l|,Я} D\x'{a8`hB!u!J/5RB 1Nv= 5f[t÷^'4g2$c\cLnÑhioLT.dmk`_JIsYi۩6B3NB)BG]u=W|B1ąOB0~9dK_S.Uwc)ſ( jHi 5UٚSjn1ɖ =jg [4dWB0A'fAlUxp@N1ٞ)O;Oj@,/R2zաJ\¼¿p ˣĦqa b>à\6MOd$X>W?^~M!S1Suѐظ|0Yg:NÒ<lbqpBMiHq haY J>.޷{">mj~ Hjm6![A^W f.La3bA͕OEq'hNyjȭx&]c-1 @\qE!%8mv}vlv d+:R0 ^ֶ}MPs#,3[ `P+:)ץo+2g13]ߒl_ !UpT2Ƒ,1e"꥟To5:b6_Od*6DwodK-C$*{>;w[ N kRlɞ!~=C+,@A~2-jpnh,itWrO=(A)'&ڊ5_2LGB欹!lQTU4\'#;Pü2$_<PCWOcFo5ӄLrOmK;7L30Ķ4PFhBN?qt`*ڿ@ ZžHo+`tR 7^dn{yԼ@}{֧d9 m6BeMٵ{˶Bҷ50򹚠vtvb?3vSեIꕑaN!]UY:~d1qc.65eFXCcB-p* $ H<0?P1ꛋIMu+hOYD?2Gg`t" ʚ)=hﻦw,+vh$b'܏ DSj씺٪׈ $݂&W:F ;{;iKrْqqUnQ ǂ Zv 'y5㮂]FN !N %(J1 'AlOTۺ~t6x%{;zRUt!3htћ29H@:pe:z/-7lTClp^,>gAlHƭ3 ؈ V!VGh (|Z{QzX/"F҃X O)ҋZo< :'#[IvΧʁ15SiǢ :/9E`o]֮k 2m kKGirq^;r[ ugYZ7zXZִF! !]ŗXi%6Ț 5pD5,".~eOGDJmq PqjC2G)m Z4krR#=nV;pvN8X(y<@_ ]د-Pmd~ Ӵ˚o{6a.m1gm-/BWiSۧ&S_◁q}Cڋ#$ᗨ3T)i_mj;:O_moX~%x\tOh`ٿ7:cF"/M:1 6j[Kڷ@ƈ?Xk:8f#蝁{UX6`UT Ke;fO0yt;0?9 JKzÊeyG=W#ՁX0+e5 +A&rj6YIC[PC1IߠRhͶ *W$*ϵ镺=ti99"Mo @߭puHµYeV2њ{Xd$( `Y9߫z:$;^\1 D X.,@ؗ$!}Rd#W `uXeHBe.nnv/*ۯ *[qùAD|/[2W~4v?!ϥr4i9C/߯Γ] pp:lT/{Kd`FTCE{^ Z/=ƪ wD \bZO7֩u !YU%ۀ(etjlsGǢGOf %ZԖko2Ğei?us^}No-ǽZ+쾂&B%41zE3AÎH`=sG/ eQ,W;HYBslѡЎӂo~*UmhSr +(ě%gh'qcc0rPr}zfε &2|kzQ~*bQ` Ip_7[3HIsnNHS J ڔܟD>]^j}B`%K.mZG`){~DH߈k ks\vvo4#3PbB?;#a⪮Ur]VNG.F)sRVw$!x%l1-^˧fXRޏ.Rlڰriy-u\l:Fbm:4v'PR~ KuW#%:>UXJZ•Y8 _5'pr2׿ U޺_K(%."eW'>_L^IX6eo.rW-F5ݯ36SI?~}P߆a +n2Io(IhN"㚋"fvs>d$;:xA^-lkhtA.Q}$ x+q_ĭeױoxrrs+o1&~XRPs 7AM`r \v+ |P]wTۂ1Q9OQ ]M qNՋuMe^΁ҼE +Vl,Yny|j}%Y%:Q9z-~Z=BnUE]q֧glF@X'DNWSJIϛu)2cq3R/:[ 8wth`=?oP[-WqNϣ5to,p]eԸ"&~ؤ~XY@I23ă.NOv:")눧o 8(zvN~bKd$l ggy RrCh6SThE+TԂ4ִ#3M]%g"NM, /Q.f:Ws0PV@(=0GS^ѭS.]oā%'?N!8/՟ T[nuףϕwObI l0.%]X#;dQT-F1V,Sчuc2Ӣ̻̏0m,[DӊfΤS7`%`at!=ʌ9K!h\t@Hmb֙ VoχXY)[,yN^0科Ro`?irsKsbgݯF.ȱKJsWڋ8d[ } y)Rd=P{[,I;rJ!7d"`|PSϲWW4ϗ m޾JM&yՅ0h]`Xd@x'Tc,X݆&3H`7,R]Z@IAo\>yP/W^CU9] {An x|5E.`C||FOvBWs()K\UD U PEf=fi 1\At*Ф/@Y銗Wr=e#OquKg2HC01ʢ"׎ n}\^o`ÔqKk#~iBY84b;`sp#t&u/yj}#!Ygg8y AmGIzyRH;Řu#Fo~ja$鬯2vHYJ Ƅ V{AmuAqd@ 7mMx2 B{J^b)xz`0uV# 4> C$j冪*|"oqKxⷸzbX~>,GJVT/FeΫ dw+)?nfw$fdT[Es8RZWLȌ8 hrFxw#V1኷vBwi#Q)>{+`,gQA=LCSOѧxzX֙(+߄ ܯaw^0:NӫH-'3ZM[}u\rh)2ݾA %Z1kRK#->)C9q J+nZ6x@/_:ʐǼd](Zaa.Y৆8#qE)NpؽT5z04:gśFKyx+mA:23T3QϜeZ Ƥg2U!5:B\v4~P]O:M&Uce̐;QfAVtrq}t)t Mp<:Tj^ʰ.Lhÿ$^itZicUC̘܀w25Q,3pۤImlAbvp- % ),`/b.Gf: vtFD`~"3[ :=PpB6]/Mjg欬˿qfsqx&M- 7q͞XF|WV(춼c\H 6FJBDw}OiRٚhٽ)ҜqYRwRP]P۹vsDlNq+sW+]~'-(qyk{q[>-@0@)ьԏ[zO,u[0[noaZ1V~Vc.;‘K!癃1A Dzׯ=창ZXMUj">%ᥢe}ƴr1}PM5^ D8lgMR`P n.W\9=#ɖi/"e#{R-`>[W;~@'J;"Ϩ_ct