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 S'L$4 ]% Deep_Learning:threads=2elapsed=99.022cpu=176.488gc=5.624factor=1.787zXZִF! M]ŗXf1-/6vRZkCIe$Ai5edHn-ǐ3qo]+GAJSulxw{D' 4"b:FK!-ę:{z7>*"ao ނG,wn ;[%)[IA23|k[G״c}o< az = vT FrٙkWd1@DTXPIZB^O}vxGGF:M~ػmcki w/EؔK_ ۙz»QgyӻY JLv% կ) +h?/g- 0>~)Ⱥ'ܽi" xKw?)KK:^t eаp$E ';+5 Fcj|LwU2yjbxiN@Q)<$}RTpR@:b,teG kQ#Mp7BF<9ᑰZX,C @_5b!!)D]/h N8tlQ}'a3)֭v6!;l&ِɧ47|x~jܿS2C1N2ѩp}2a)O SonξjPoױ_Z1%w(5Y3ԁη 1 2-槅+c;1~,9{RszJ–8ElBW|XN-G _lDg[n20r>m7΁|"v!|J ?&8RL߯!"'[NARuYQMmHIf&L8B .#E3NcQYrV:# g`}JZ(ǚLV&ρh&}r9 ?% g[z~ӯ2q,F>4چWķVKz.>E(jM=1O oX a[u8|i"t[͂\w}~jQm[bz)҂0H|nӥ{w?χ8|Y*ȶNeg\JW@h8юy:*gv(FyLTZ>I-->g歐ZᶥK!I;/)C[R+`0qip.s qbk:Ԙp&Y }me@@R~D;ԊH5'VNfDj"Q|gYZ7zXZִF!  ]ŗXiɟkVFq%{[}+m2#,T#n8}?r`*=6}L'/p\Iadh¾YB5o]I %vDdg<_Y!ٮPݷɈDh>%ӷ2&uEe) kyȋb`Zy;#mI%a} &GGVh36f꘡*тBtjE(oqFǾ6T{\n&.qQH,UȎMLFƙӁ/MWT5M y _ Y>T:}:^^ΙgGess}Sɫe/`blu(B* }SyN"D# c@Uic&& C(Ӵ{$Ki_%c|_%F}Ϊ#ۂ+^^h%X!9gմ+gޕIh}nA `\d3ԌgYZ7zXZִF! ݇]ŗXi%;wwc#ll  ҐYjlǴի@x%,[H{ B*U[x LHsCdFs:Joۥw'Y~8ZgnfO7x%wɳ9U)3%:Moԙ6u|b/Ǥ@5nS9 quGV1 :l&FdNDhtLs7ef!Vٌe\ٲ'Q } ? e({ LuFz/FF c;wa̶nO8wqHfgB7&rvrU]b8~ܳ^Drt* q(}Xlo ,Vpܘ>?҉dwS+k$sY^AQ. # ;BjxP T;Uun!vy2!!eFѦdϠ}ݿٍf{,ωSЉ&%lgjyN=kzVYHiWnui:Dx#erV()ťi/u ^lwrTUR=AAmO tV\cn3>1Ch tB?8[~SIea#0X]9cCa; p8=z =4bVDIA 5؞0cD v5͡NaaAMx :r9`=w@/_l8 r^1w KDO[ʮǮ/f.dj3D`r/PGS]1du*P|4 +ˆN0? bZ_*/E#dIqYo%Ov=ir`Ʊ(_?ĝ1,-0wCmԴL`+M fвLg Ak$>IwuKR5pĖmw; ٠Wtn U0'1b1D)MET,S a> 1U]@$oT+$cP\Zҫ3]dnE(uۿ`J7_`Zjy~R H(oA)3FjG24뛺]DFƈl@r,p1XCrO~C%a#>F;?%|rSQ2@v#/`|xx"% ƣxNs;o'$p텾ǭEz IM."R{Sց JBS`Q'ט²qѠ-`/7#9!g=yI{_B1V1(g0`L_* jÔkE:VVlWA+!RAhM~5͡&mnvs!l [rIzC2z(ޙDoþnŴPnѢbc(3@ܦ[9[UrX쩯*/, 0!#OuD+y)>5'Nlm $ʊScKnk[~Uf18/ԤXQvL7" R BשnѪV|'Gw;}|rOLӍY, p~\ɛ$z˩H{k~' a"ӛ螋KQ 12˸Ƶ><'s8w|JKzEֳiU5S֭Fৠߍ!DJ$I6ݤ-~ Zhw09~:[n7d}_/i+\HhIj%7ߩރZ]ȏ:裼ܜ:Rk:eԴv ]ƈ̳?6aH nY w`2U iR}bp4C7Ogu~b}y?w6nRx+l\G,!O}IXsLTn ho 0u+'na.gU7=cd]HarVQKyOkt H|9Ir̽.XIoƦQZ\\*N T\za)2Y"'Mг &)# im2;4N[dNvd1ʵ\':_G"@oXZ019;"# kEcVOBmɶ8o7qKѐ ͬrX['$Jh{|_Veu.[ZgF҆VPķh-37.gIO#~s2y5:޾ke"4`߳WQ7Jx$N5Bp20um2ԡJ4He'ZE0^.kh8Z&&Z\Hag# H@f$S#+ WZA޵fk)H~v=4ʳ+ N+;̎`"`ݨouZ/NE 0`S$O (E{ ;tB2kEF Q7RDZKF~ʬQ=k)C:Kӟ. Fs,~[ѓ'e aZ5Oa>8="ȡL=EWN\)oc4ȸiKgς ["KL3*+`Ro7ﵟFTۃt=p.]:eºT"}T`%wɭE]BW^g5!G$ݓʁTJB';Ʋ%&;u*8 D%k$a?+Au-ukތl^l]'ѫ؞Sg=j1}2 8ptv"J&;aT&^ |1 6 G5u`2KjdTvCNkd8vXn~ ].|d0v8)0^.-oIɖ%`{Q* _pܩb+@4gKF |2;2S'OJaȣ~P|Ϡ D̈́5na#dy4DWM2 5NtU5e3^Žfo[҅/(y)ө|2`U7w6> >*F0=q K_4#z,uhW~8h*CgYZ3e227907968e85e503ac83fc139a99806ad4ebb779d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 27380dc72e623c038461b5a833200b5803ef071c 0173998c1bdaaf02c425934bacc56421e11f319a 6311c8db8e714032aee3eaeb671948650ae18b55