SQLite format 3@ . BBh77otableisabelle_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',|d ]% Deep_Learning:threads=2elapsed=100.970cpu=181.120gc=4.432factor=1.797zXZִF! L]ŗXf1-/6vRZkCIe$Ai5edHn-ǐ3qo]+GAJD1Ӆq]]G1,\f.-|v‰3Yq,JK:U9m>A'rуDj0:p+L(G0v ~(1D^G.q`{f?MR#F ^m)3-d4tK҈&! BBrQOU@&KBFtє4%,pm L6 'q_Woߣ3γC`$PFpqzގƞTt^z1{A{7 { ' Deep_Learning*D=MF=ѭB|:3!=ʤMJt@vMtyMhAلDx({9ydj`{ud f"~t3o5i#Z䜖΢řw*7w^i#sDu҅_XK1ilk6f&0Nل.UUl{6=ҡ̑LÖipԹq>zMG!;p=QpXb;{c>|Κ·1q.g/I;$[忧e!nO12,q`J,$vՁ -W9e Gu*LR aY{ƾ^s߽#: %vYhU>O 讅,ף_uY:,y&)x%3[iF]8['̵/hKSkUq%+?jN·Rs+ﺙ z¿Şz1]ڡi0%x]:7"&޶hЍ'ދh14q^c|ԙ8h9?B@Fq2BЮ"mQOEG;ۨB 'ʨm!%_ûz aav]3"sɅ®%GQJaJ|Uғ,pL-Y4eӳto=+/Vo+ݚuy4EYսRCTGλ 3 oz=싛<\SL wQgVp@6%nQcRc| f>.X?(}hLF)+[I\py,ܡ;t>6G_*(H/ZHQ:GHI28DoՙżֆA KˊZYZhm׬%rXI 6.F.g${A6X0|\J]i䕣nqJkQhqiVڡ' pBЁ{ytl Tb;і%r \y0`o.iGu,nL|Kͫx"ThbCV.Y A"ݲ?w-5LB\CT)(ɡ? lL"*dk48Wiq̀d/."ld\ߣ*Ojظ'{{N!̲8ܢ/H5LJ ѾXMᎿ%MeǼw!5JFvHmpI." -Zֱ oO&>ѨPSd"t:Eц!^BI!n3'Rs,iO O@CU39Erh}9K ,],I ~N֐|kc$m";J j#gq9 )<>oc-や|wI`%9 Į#uzQ!YK.I+˔p!hS 8!RQ7nO'9ce=eR4upCD$rUϔoaZRI40)5\]䆐p[|_J׈/_?F_U %!n*;hEZ?N}'sY:td6Q_j gg_qrQ>ҁExw` V7,/%Y' T]Wp3Ë$yI|R4{f{W^(x @w?zgYZ7zXZִF! +]ŗXi%W~^+@ oٜ=@d}T&+ 6_!$Xh W]8K!]Ŏ8{65?Vrb gtd{Ih}., <:?vK56(h/I<}H皋R+IFUj?K҈" }ۅ+"i=EpM \8N^OǟՐúWZ'p6훢{Z.˝.CΠV[?BKX-h&,c8H*3: p?RXn)h2rl#~HLVeo-ܪ5ȜZ| pu$2U}ٌ1p)\~чO<3o'Z$}g铘WIIMQʋp82K:s oZYQ`Cr8{hZ*=g /Hh@$,㶩> 覟Phvԛ{s1gG􁲸ܤ2Yj,YnJʊo`Hv3Pjoׇ[<шTTl mIJŸO jcWpP B'jnh3/noPI6-7Eg8#"[ՄAypdUL?3^-áOحyܬKY@< \k@D(vG1l9c>~!䂤|[4My[8.=M멐gC;N鷦 ]uǖǼnaJ{ |4MyW"e)cv$e𴀑a -LT9<z$qvPE+$6Oti B@}@9Dhuu5q^3,K4$cy]la- ApΥ~J*rZ•y5/ifMYJ-_vQ .3 Zp"FZ#>7v5;y?Q UQۨVUz5&і(?a>16ѡ-emi{RQ680d{ETxs?dT\ͧn^s5 $3Q9- |'@'aɹX$Trp\ljρtVԔte-(M$Do{䂻 bHFJRšўTu/%&v=ⴏm4+c0@Թ3d R7u ![o̥)X͗[[;h?sI`}T@ <x5!~sQlJ74$o]2Йֽi}ײbT$K}8MP$vj1G-H a>bc9ANTxjHf"jG <>=4cS ).E[WCKf-*t.N8n"4~b`i(O)ϴe]R}9@A-*/gܬ'7I]pޝr,m:7ჩIE0]G]p2Ęi[ 8*YSae Z;~h;%;go_j|8~HP~r5v v1jTqF2pfiBAS c 1Y\Fy;u!=(uR 6)͙}XNM `--;X6;9q`DգƴIn9f4R= U-hY*w`oZ H 5ط[tzg(XhwP?A#*u%,Y{p3J;&+vhRnqSSN0IKz 0Lj-X)B?L6V]%cp>LQxڪ<[<9Rk]q3,'7jq m~|+/-z~r_[{d #_ݩWqޖ[dda? cH;)_ HxmyTr`+x g팝[ X#22J"@@st4l='궖=wlw^ijLHO(/z%2DxD?\3mN_q&f۲qwWLiQe]ƕԎSipMOU*ś2>Ug*3e`_.JS{S.쭘mL)%U#Od0JC*@ V۸,eOAz4xTn. TE6zЖ qBL1"T~*I>&]B.hpoKjP͌TIAc]kyevs:S/T2EFۘPxO&镤4.>ԧn a}~4%jMWV$زU~pdJ#ilGۡ!'"qESL:K즑Sz%F1IjVsӉb#omO~ߵw䶗R30*-Onc$S/KZKW(a_;U_٭GJ[Y{dm^YTቀϱr l`@ǑtZݰQQ6;f-x}\с;w S9fP.rqݖpuWYGMkSgruLdcn ,nQzӌB6$~m3^9l҇ۛk%O5|NhC33P&IU7 7͆Rn}uP Jʺ?V^զpa]p2V1H\?ʧ8 lHȱZ `VͭuT4rq;\G*^]̞D!6 3%8Zݮ6¢A!5꛼ʹ 5| ]gcj9\ӷkpbt;WJ  >WKth1|tV ']"DC\j ƤuA#}dnBk0WK9b},֞zEӦE.>'ۿJS-$ȚG:g0[ /r6ޥ~J ([Gzt>Ņ:fT~Yf/s ;;9H0}425e$&㸷 ӝ \yQ99&ٴYk8^yw ȍqzMK͔;\1Z2dEACe+>QY;Hx\fFdKCi)diug{cH}31YEY+j!Fًܿ;Qg1>*9gYZ00ea3bec59641ac7bd4b8d465d1d44a7092260d3d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2 c06e340e9a5837869c8676b73367de6bba187134 18162aa288ddd8293e56180279be831e057a76ce